よく知られたことだが、完全性定理を証明するのに選択公理が必要なのは
公理系あるいは、論理式が整列されていない場合で、PA, ZFC など自然な公理
系に関する完全性定理には不必要だ。形式化したときという意味が不明。
>> 37
形式化を考えないなら、18 にあるような PA での完全性定理という表現は
ナンセンスになる。