naiveにせよaxiomaticにせよset theoryやるのにmeasure theoryや
topologyが必要か?