证明树（proof tree）是2008年经全国科学技术名词审定委员会审定发布的海峡两岸信息科学技术名词。
2008年经全国科学技术名词审定委员会审定发布的海峡两岸信息科学技术名词。
《海峡两岸信息科学技术名词》
水利万物而不争,
而万物莫能与之争。
