level 9
考虑一个理论里只有一个真命题和其否定，显然它是一致的
2023年09月10日 07点09分
2
level 13
意味着某个理论不会推导出自相矛盾的结果，比如罗素悖论，在修改集合的集合的地位与集合不一致（不能被称为“集合”）后，罗素悖论就能被规避掉
2023年09月10日 07点09分
4
level 1
大概意思就是不能再一个理论体系里面推出两个相反的结果，即不能形成悖论
2023年09月10日 07点09分
5
level 11
例如理发师悖论，从相同的语句出发可以得到相反的结论
2023年09月10日 09点09分
8
level 5
这个是对一致性的定义。一个一致的理论不能自相矛盾，也就是不能从该理论的公理集同时推理出命题A和命题非A。如果自相矛盾了，就说明这个理论的公理集需要修改。
2023年09月11日 04点09分
10
level 8
这比哥德尔数要简单多了，一个短短的命题要转化成哥德尔数，就会变成天文数字
2023年09月14日 08点09分
12
![[疑问]](/static/emoticons/u7591u95ee.png)
![[酸爽]](/static/emoticons/u9178u723d.png)
![[开心]](/static/emoticons/u5f00u5fc3.png)
