讨论:完备性
怎样停止自动简繁转换中的替换词功能
[编辑]哥德尔不完备定理证明了，包含皮亚诺公理(Peano axioms)的所有公理系统都是不可能既完备又兼容的。
应该是
哥德尔不完备定理证明了，包含皮亚诺公理(Peano axioms)的所有公理系统都是不可能既完备又相/容的。
谁帮忙处理一下，俺不会……Fishingsnow 05:13 2006年7月25日 (UTC)
哥德尔不完备定理证明了，包含皮亚诺公理(Peano axioms)的所有公理系统都是不可能既完备又兼容的。
应该是
哥德尔不完备定理证明了，包含皮亚诺公理(Peano axioms)的所有公理系统都是不可能既完备又相/容的。
谁帮忙处理一下，俺不会……Fishingsnow 05:13 2006年7月25日 (UTC)