只要承认 素数 1+1 为公理，后面 可以有好些定理能成立
但是现在还没证明
反例也有，以没证明的问题为定理，推断一批定理，结果前提错的，后面一堆也是错的
【 在 molar 的大作中提到: 】
: 它本身是不是定理再说，但是你这句话不大对：
: 如果你认为“第五公理<=>勾股定理”的话，只要把第五公设认作公理，那么在这个公理体系内，认为“勾股定理是可以推导的定理”并没有啥问题。。。
: 因为“A<=>B”就是“A=>B且A<=B”，而只要“A=>B”且A是公理，那么说“B是可以推导的定理”就没啥问题。。。
: ...................
--
FROM 112.66.26.*