さて、先刻の予告どおり、集合論の公理系の紹介を再開します。前回から一週間開きましたが、記号論理には慣れていただけたでしょうか ? 外延公理 外延公理 ここで、本来は x , y も全称記号で閉じて と書くべきですが、それを省略して書いています。こういっ…