つづき

2. Core Pillars of Transcendence
To build an inner model capable of conceptual transcendence, a cardinal κ must satisfy three structural criteria that seal it off from the mathematical operations below it:
＜到達不能基数の表＞
https://i.imgur.com/kvigFc0.png

3. Structural Properties of the Model
• Reflective Self-Containment: The boundary stage Vκ is a natural model of ZFC. Anything you can say or prove using standard set theory remains entirely trapped inside Vκ . It looks like the "entire universe" to an observer within it.
• Axiomatic Transcendence: By Gödel’s Second Incompleteness Theorem, ZFC cannot prove its own consistency, nor can it prove that a model of ZFC exists. Therefore, the existence of the horizon κ cannot be proven using ZFC axioms; it requires an explicit axiom of transcendence (Large Cardinal Axiom).

Would you like to explore how this model relates to Grothendieck universes in category theory, or look into higher levels of transcendence like Mahlo or measurable cardinals?

(参考)（有名なAkihiro Kanamori氏の本）
https://math.cs.kitami-it.ac.jp/~fuchino/xbooks/The-Higher-Infinite-optimized.pdf
The Higher Infinite (Springer)
Akihiro Kanamori The Higher Infinite Large Cardinals in Set Theory from Their Beginnings Second Edition
北見工業大学
2004/12/13 — existence of inaccessible cardinals cannot be established in set theory: 1.2 Proposition. Suppose that κ is inaccessible. Then: (a) If x ...
(引用終り)
以上