>>185
バカみたい。

「モデルを持つ公理系は無矛盾」でしょ。PAの標準モデルでPか¬Pのうち真な方を公理とした公理系はやはりモデルを持つ。だから無矛盾。

文脈読んでないみたいだけど>>178への答えのひとつです。