今日もZFC．算数をするだけの身にとって，教科書は使える公理系さえ教えてくれればいいわけで，何かと矛盾をはらむ公理系はとりあえず知らなくてもよかったりする．そうじゃない（古典的な）公理系やらは，或る公理系を使う妥当性を説明するために必要なだけではないかと思ったり．もちろん「直感的な」系の紹介はイントロダクションとして必要なのだろうけど，なんかその部分に大半を割かれてもなんだかなー，という感じでして．