集合論
集合論における推移的モデル.