第 I 部　構成的集合と公理的集合論入門 第1章　公理的集合論 1.1　ツェルメロ・フレンケル集合論 1.2　集合論の１階の論理での公理化 1.3　クラスとベルナイス・ゲーデル集合論

渕野 晶