那么，我为了证明一个公理，只要把一个与之等价的公理设为公理，就可以把它降格为定理了。你是不是想表达这个意思？
【 在 molar 的大作中提到: 】
: 它本身是不是定理再说，但是你这句话不大对：
: 如果你认为“第五公理<=>勾股定理”的话，只要把第五公设认作公理，那么在这个公理体系内，认为“勾股定理是可以推导的定理”并没有啥问题。。。
: 因为“A<=>B”就是“A=>B且A<=B”，而只要“A=>B”且A是公理，那么说“B是可以推导的定理”就没啥问题。。。
: ...................
--
FROM 223.104.214.*