>>115
自然数論を含まない体系は数学的体系と呼ばないのでは？
>>118
そうですね。
正確にはPAの論理式で、PAのモデル、例えばNで解釈すると真になるのに
PAから証明できない論理式が存在するってことですね。
>>120
そうですね。
しかしPAに限っては全く別の方法で無矛盾性が証明されています。