言及状況

外部データベース (DOI)

Twitter (3 users, 3 posts, 0 favorites)

自然数論の無矛盾性証明の必要性前原昭二https://t.co/S4KWM4Er92
@lambda_x_x よくわかりませんが、確かに、 PA と思われるものを指して自然数論と呼ぶこともあるようですね https://t.co/ZMDL9tBV1e ちなみに私は、形式化されているか否かに依らず、自然数についての理論全般を自然数論と呼ぶのだと思っていました。

収集済み URL リスト