不同意。换个公理系统,证明不了原来那个公理是正确的。

郭大平 (2024-10-29 11:26:07) 评论 (0)