0407132人目の素数さん垢版 | 大砲2018/06/27(水) 18:45:32.62ID:Z8PHHCZc ペアノ算術を含む帰納的に枚挙不可能な公理を持つ理論なんかすぐ作れるじゃん。もしかして意味わかってないの?