規制で書き込めなかった…

>>424
証明するために、内包公理が必要かどうか。

>>430
「同値」の階層を混同している。
「論理式が同値」と「命題が同値」は全く異なる概念。
「A←→Bならば、その時に限って、A≡B」が証明できるというだけ。
←→、≡は共に略記だけど、常識の範囲だから定義は略。

完全性定理をきちんと理解するには、この辺の区別は重要。