>>316 補足
>これとは別に、” Logician”でなく、代数系とか解析系とか、あるいはIUTのような数論幾何とかの基礎としての集合論があると思う
>それは、上記とは別の素朴集合論ベースで、斎藤や松坂などじゃね？

前にも書いたが
「位相空間」の教科書として、空集合から始める人は居ないでしょ？

「位相空間」やるなら
素朴集合論ベースで、実数Rか、その前の有理数Qか、いっそN,Z,R,C全部そろいましたから始めれば良いんじゃね？
その前段の空集合から、N→Z→Q→R→Cのところは手っ取り早く、進めれば良い

斎藤毅>>303がこの流儀で、P92 「2.9 空集合から有理数まで」として、だいたい3頁強で、有理数体Qまで導出している
使っているのは、数学的帰納法のみ。無限公理もペアノ公理も出てこない。選択公理は使っているけど、厳密には可算選択公理だが、細かいことはスルーしているね

これはこれで、割り切って良いと思う