はてなブックマーク - くるるの数学ノート - ゲーデルの不完全性定理について少し補足でid:jrfに「コメント欄の進展を待つ」なんて言われてしまっているのですが。はてなポイントも（id:jrfさんはほとんどのブックマークでポイントを送付してらっしゃるよう…

ゲーデルの不完全性定理について少し補足 - くるるの数学ノートの続報。かがみさんにコメントで質問された件に関して。Keisler-Changの"Model Theory"を見ると、以下のように書いてあります。言語L''={+, S, 0}上で、以下の公理を持つ体系をadditive number …