>>なぜソロヴェイモデルを持ち出したのか知らんが
>>Pour-elとKripkeの定理の反例にはならん
>なっているよ

はい、トンデモ（笑）

Pour-elとKripkeの定理
「算術を含むどんな理論も、それら理論の文と文を対応させる原始再帰函数を通じて同型になっている」

なんか大学１年の微積と線形代数で落第した高卒 ◆yH25M02vWFhP は
ZFCに到達不可能基数の公理を追加しただけで、
算術と同型でなくなると思ってるらしいが実におめでたい（笑）
述語論理が分からんエテ公は集合論も初歩から分からんし実数の定義も分からん
それじゃ微分積分学や線形代数の教科書読んでも
定理が公理からどう証明されるか書いた文章が全く読めないだろう
大学に行く価値ゼロ

ああ、工学部は大学ではなく計算できればＯＫの”社奴”を育成する職業訓練学校だったな
スマンスマン