>>150
>ZFC公理系で、非構成的な公理がただ二つある
>一つは 無限公理
無限公理は帰納的集合の存在を主張する。帰納的集合は空集合と後者関数から生成できるすべての元 {},{{}},{{},{{}}},・・・ を持つ。
なぜこれが構成的でないのか？　また口から出まかせ？　懲りないオチコボレだねえ。