哥德尔第一不完备定理 反驳的是大卫·希尔伯特数学大厦的第一条性质 任何一个包括初等算数的公理系统，必定是不完备的，不完备是指的是：存在一个命题，无法证明他为真还是为假，即不存在一个证明来判定这个命题为真还是为假 这里的能够表达初等算数的公理系统有以下能力： 自然数 定义加法与乘法运算 哥德尔第二不完备定理 反驳的是大卫·希尔伯特数学大厦的第二条性质：一致性 reference