它本身是不是定理再说，但是你这句话不大对：

如果你认为“第五公理<=>勾股定理”的话，只要把第五公设认作公理，那么在这个公理体系内，认为“勾股定理是可以推导的定理”并没有啥问题。。。

因为“A<=>B”就是“A=>B且A<=B”，而只要“A=>B”且A是公理，那么说“B是可以推导的定理”就没啥问题。。。


【 在 moonwalker 的大作中提到: 】
: 按照你的意思，也只能说明第五公理与勾股定理等价，
: 并不证明勾股定理是可以推导的定理。
--
FROM 111.201.70.*