0567132人目の素数さん垢版 | 大砲2018/02/27(火) 00:23:50.13ID:6QNrQUgr もう少し詳しく書いた方がいいかな それと、>>557の「メタに明らかだから公理に付け加えればいい」というやつな それを公理に付け加えるということは、 「メタレベルで真と考えられる自然数に関する全ての命題」を 形式的体系の公理に付け加えるのと同じなので、あまりにも馬鹿げてる