0865132人目の素数さん垢版 | 大砲2017/10/30(月) 15:45:38.09ID:yWrKam6g てっきり数学的対象は論理→集合→自然数って言う順に定義していくものだと思ってたんだが、論理の定義の段階で集合や自然数が出てくるのはなぜなんだぜ?