https://lemniscus.hatenablog.com/entry/20120616/1339838683#sec6-7
再帰の反復blog
2012-06-16 反復的集合観と公理的集合論
目次
1.素朴集合論
　・素朴集合論の公理
　・素朴集合論のパラドクス
2.内包公理の放棄
3.整礎原理
4.集合によるコーディング
5.反復的集合観
6.集合観から公理へ
　・巾集合公理
　・空集合公理
　・対集合公理と和集合公理
　・無限公理
　・部分集合の存在を決める公理(分出公理、選択公理)
　・置換公理
　・正則性公理
7.ZFC
8.クラス
9.到達不能基数

つづく