集合論の公理系をやる前に、述語論理の公理系を先に述べておきます。 一階述語論理の公理系と推論規則 一階述語論理は、以下の公理系と推論規則を持ちます。 公理系 ただし t は定数記号、あるいは x 自身、もしくは、x とは異なる変数 y であって、限定作用…

前回までで圏論を軽く(?)紹介しましたが、ここで改めて(?)、集合論を公理的に見直してみましょう。今回は準備に留め、本格的に公理系を述べるのは次回以降にしたいと思います。 記号系と形成規則 今、集合論を公理的に扱うために、いくつかの記号を用意しま…