今回は、「高等数学を学ぶ難しさ」と、このブログが目指している役割について綴っています！

今回は数学の小話をしたいと思います！第1弾は、曲面上のベクトル場とオイラー数の関係がテーマです。

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

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

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