说数学是 自洽 的是什么意思

荒野浪徒 1个月前 已收到1个回答 举报
赞

青春之歌 3星

共回答了331个问题采纳率：95.7% 评论

“自洽”的意思是“一致”或者“不矛盾”

(说白了，“是不是自洽”就是指“能不能自圆其说”)

所以，如果一个数学系统是自洽的，那么对于该系统中的任何一条命题A，只要证明了 A 是对的，就不能证明 A 是错的；

相反，如果一个系统不自洽， 那么该系统至少包含一条命题A，使得 A 既能被证实也能被证伪；

(数学系统中有很多自洽的例子，比如：欧几里得的几何系统；

不自洽的例子是真没想出来，也没有搜到，不过只要理解了就好)

11小时前

3
可能相似的问题

猜你喜欢的问题

热门问题推荐

Copyright © 2024 微短问答 All rights reserved. 粤ICP备2021119249号 站务邮箱 service@wdace.com