もう少し詳しく書いた方がいいかな


それと、>>557の「メタに明らかだから公理に付け加えればいい」というやつな

それを公理に付け加えるということは、
「メタレベルで真と考えられる自然数に関する全ての命題」を
形式的体系の公理に付け加えるのと同じなので、あまりにも馬鹿げてる