分歧类型的理论
逻辑
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
外部网站
了解这个话题在这些文章中:
历史的逻辑
-
…被称为“分枝”理论的类型。此外,为了显示所有常见的数学可以在他们的系统中,罗素和怀特黑德被迫介绍一个特殊的假设,可约性公理,这意味着部分分歧的崩溃…
阅读更多