定义是人为设定的,默认为事实的语言描述.就好像是一些事情的前提一样.是其所在体系中一切的开始与基础.由于其有人为规定的特性,所以定义一定是正确的（注意：说它正确不等于承认它与现实相符.就好像非欧几何中对于两平行线有交点的定义,默认它是对的,但与现实不符）.
那么定义能证明吗?显然不能.证明是一个用基础理论解释高级应用的过程,是一个用简单来解释复杂的过程.定义既然已经是一切的基础了,那么也就以为着它永远不能证明,而只能是用它来证明别的.（注：数学家哥德尔的不完备性定理：在任何公理化形式系统,譬如现代数学中,总有在定义该系统的公理的基础上既不能证明,也不能证伪的问题.） 定义是人为设定的,默认为事实的语言描述.就好像是一些事情的前提一样.是其所在体系中一切的开始与基础.由于其有人为规定的特性,所以定义一定是正确的（注意：说它正确不等于承认它与现实相符.就好像非欧几何中对于两平行线有交点的定义,默认它是对的,但与现实不符）.
那么定义能证明吗?显然不能.证明是一个用基础理论解释高级应用的过程,是一个用简单来解释复杂的过程.定义既然已经是一切的基础了,那么也就以为着它永远不能证明,而只能是用它来证明别的.（注：数学家哥德尔的不完备性定理：在任何公理化形式系统,譬如现代数学中,总有在定义该系统的公理的基础上既不能证明,也不能证伪的问题.）