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

で、肝心の「ＰＡの標準モデルが存在する」はどこの定理ですか？

あなた、自分の言ってることが
「正しいから正しい！」っていう
同語反復に陥ってることに気づけませんか？
それ、病気ですよ。パラノイアっていう。