15/04/05 15:31:29.37 EvGo5wp8.net
>>8 つづき
超限帰納法について補足
（以下参考）
URLﾘﾝｸ(researchmap.jp)
研究者氏名 矢田部俊介
URLﾘﾝｸ(researchmap.jp)
公理論的集合論 お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）より
公理的集合論ZFC の特徴を一言で言うと、以下の通りである。
? 超限帰納法、つまり通常の数学で使われる帰納的構成法を無限の長さの整列順序に拡張したもの、によ
り集合を構成していく。このように、簡単なものを1 ステップずつ組み合わせ、全ての集合を構成する
集合観を「反復的集合観」と呼ぶ。つまり、大まかに言うと、空集合から始め、無限ステップの帰納的
構成により集合を構成する。
（引用おわり）
ここでは、「超限帰納法、つまり通常の数学で使われる帰納的構成法を無限の長さの整列順序に拡張したもの」に注目してもらえれば良い
無限集合を扱えると