型,t是我们的“基础理论”,那么我们的公理应该能够陈述w是多元宇宙的一员。
设Lκ,λ是无限语言(λ < κ),允许形成:
1.长度<κ的合
更多内容加载中...请稍候...
本站只支持手机浏览器访问,若您看到此段落,代表章节内容加载失败,请关闭浏览器的阅读模式、畅读模式、小说模式,以及关闭广告屏蔽功能,或复制网址到其他浏览器阅读!