>>83
＞どの本を取り上げても 生のZFC ままではない
しょうがないなあ（笑）
島内剛一の「数学の基礎」ではZFCの公理は全部出てくる
しかし、第２章　集合　で全部出てくるのではなく
無限公理は、第３章　自然数　§１　有限と無限
選出公理は、第４章　順序数の濃度　§１　選出公理
置換公理は、第４章　順序数の濃度　§３　順序数
で、それぞれ出てくる
ちゃんと、いつ出せばいいか考えてるのである
これが教育的配慮ってもんである（笑）

＞多くの大学学部や修士の数学は
＞空集合以外の原始元（urelement）を導入する方が
＞現実的ですっきりしているってことだね

そもそも集合すら明確に出てこないだろ
だから自然数はもちろん実数の定義もろくに知らず
実数＝無限小数とか、アドホックな同一視とかで誤魔化す
理屈抜きの安直な学生ばかり大量生産されるのである

アーメン（笑）