今回は、記号論理学における“等号”の意味と、第1の公理「外延性の公理」についてお話します。

今回からいよいよ、記号論理学の上で「集合論」の展開を試みます。本記事ではまず、「なぜ『ZFC公理系』のような複雑な公理系が必要なのか？」という問について考えてみましょう。

公理的集合論に進む前に、記号論理学をもう少しだけ掘り下げます。

数学基礎論について論じ始めるにあたって、まず「『数学基礎論』とは何か？」ということと、基礎論の土台になる記号論理学について考えたいと思います。