Alwe.証明論と順序数崩壊関数に伴う順序数表記. 執筆中 イェーガー・ブーフホルツのψ関数 証明論的順序数 順序数崩壊関数 順序数図形 執筆済 グジェゴルチク数列 パリス・ハーリントンの定理 支配 基本列 順序数表記 カントール標準形 許容順序数 再帰的到達不能順序数 再帰的マーロ順序数 特に記載のない限り、コミュニティのコンテンツはCC-BY-SAライセンスの下で利用可能です。