>>1ってそもそも集合論、公理的集合論を系統的に学んだこと無いだろ?