|
|

楼主 |
发表于 2017-6-20 11:18
|
显示全部楼层
jzkyllcjl先生:
"”第一,关于 你说的 “莫绍揆指出:“迄今各家各派的集合论,凡是能推出数学的都不能证明其无矛盾性,凡是能证明其不矛盾的,都不能推出数学””该语句如何翻译成数学的命题A,然后论证命题A是真命题(或假命题).莫绍揆先生没有这方面的论述.” 问题。 我想指出: 哥德尔的不完全定理 就是 一个根据。 请你不要把 ZFC 公理系统当作不容置疑的圣经。
"第二,对于你说的 “在无穷公理下,希尔伯特提出的23个问题第一,第二 问题都没有得到解决;数学领域中的问题是极多的,不能因此否定数学的公理系统.”问题,我认为: 当它存在无法解决的问题时,就就是不完善的。"
这是先生对公理系统的完备性存在不正确认识.
" 我的话 就是数学命题."
我无法区分出口成章与出口是命题之间是否存在关联.数学定义,公理是无需证明也不能证明的真命题,除此之外的任一数学命题都必须遵循曲全公理,论证命题的真伪. |
|