- 710 名前：１３２人目の素数さん mailto:sage [2009/11/22(日) 01:43:12 ]
- 一階述語論理の完全性あたりを趣味で（日本語の教科書で）勉強している初心者の質問です。
形式的証明の説明の途中で、論理式の「（可算）集合」とか、あと、
モデルの定義において「集合」という言葉がいきなり出てきたのですが、
この「集合」が意味するものが何なのかよく分かりません。
いま考えている形式体系（たとえば古典述語論理）とは別に、形式化された集合論（たとえばZFなど）
をすでに構成し終わっていることを仮定している、ということでしょうか？
いろいろ初歩的な勘違いをしているとは思いますが、ご教示いただければ幸いです。
