大学1年生の授業で論理学というのがあって、1学期間という長い時間をかけて、最後のほうでようやく「自然数」を構成できました！みたいなことをやっていたような記憶がある。自然数を定義するまでの長かったこと長かったこと。それなのに、自然数がいったん出来たら、そのあとは超駆け足で、一回の授業時間内に有理数や実数や複素数が構成されたような気がする。何しろ授業内容をろくに理解していなかったので、空集合を要素とする集合を要素とする集合を要素とする集合みたいにして、自然数ができていったようなおぼろげな記憶しかない。１の次が2であるというのもなんだか随分ながなが説明していたような気がする。なにぶん、記憶のかなたなのであの授業は一体何をやりたかったのか定かではない。

論理学という名前のの授業だったが、中身は論理学の授業だったのか集合論の授業だったのかもよくわからない。論理学の授業は別の先生が教えているものもあったみたいだが、そっちの講義ノートを見るとやっている内容が全然違っていた。論理学とひとくちに行っても、担当教官によってやる内容がまったく違っていたっぽい。授業の元になる教科書が指定されていたわけでもないので、授業についていけなくなったときに、リカバーしようがなかった。

自然数は指折り数えて済ませても、実際のところ何も困らない。

公理的集合論　公理的集合論 わかりやすく　公理的集合論 自然数　公理的集合論 無矛盾　公理的集合論 述語論理　公理的集合論 田中　公理的集合論 本　公理的集合論 pdf　公理的集合論 教科書　公理的集合論 おすすめ