Up

4 理論の準超越論的定義

---

4.1 帰納的集合のシステムという形での，理論の定義 4.2 理論の定義 4.3 証明 4.4 例──加法の理論 4.4.1 理論の定式化 4.4.2 証明の例