ああ、じゃあ違う定理だと思っといた方が良い
チホノフの定理とツォルンの補題が違うのと同じくらいには違う
同等だと言えば同等だけど違うと言えば違う

不完全性定理のステートメントも知らんのに
>>212みたいなこと言うと誤解呼ぶと思うなあ
別にそんなに天下り的じゃないよ

ロジックはシンタックスだけ先にあって後から意味論が考えられるようなことが良くある
組合せ論理はそうじゃないと思うけど、これは初学者がシンタックスと意味論を
混同するようなことがあるから敢えてそれがないようにこういう導入の仕方を取っているだけ