>>8
「論理式に選択公理が入ってる」って日本語がわからん。

完全性定理だけは1階述語論理一般で普遍的に成り立ってくれなければ
困るので、弱ケーニヒだかの超越的な手法を使えない。