でも数学のプロとしてそういうところに疑問は持たないんだろうか
数学の土台は集合論、ではその集合論自体の定式化は？公理系は？集合の定義とは？
っていう風に少しでも疑問に思ったら調べて公理的集合論に行き着くと思うんだけどなぁ