目次
1 集合に関する基本概念(集合と論理)
2 無限集合
3 形式主義的公理主義
4 一階述語論理の諸定理
5 令題論理計算
6 スコーレムの定理と完全性定理
7 原始帰納的関数
8 ゲーデルの不完全性定理
9 一般帰納的関数
10 公理論的集合論
1 集合に関する基本概念(集合と論理)
2 無限集合
3 形式主義的公理主義
4 一階述語論理の諸定理
5 令題論理計算
6 スコーレムの定理と完全性定理
7 原始帰納的関数
8 ゲーデルの不完全性定理
9 一般帰納的関数
10 公理論的集合論
東京都公安委員会 古物商許可番号 304366100901