搜索结果: 1-1 共查到“数理逻辑与数学基础 Consistency Proof”相关记录1条 . 查询时间(0.109 秒)
A Consistency Proof for Some Restrictions of Tait's Reflection Principles
Consistency Proof Restrictions Tait's Reflection Principles
2010/12/9
In [4] Tait identifies a set of reflection principles which he calls (2)n -reflection
principles which Peter Koellner has shown to be consistent relative to an Erd¨os cardinal
(!) in [1].