志村が批判してるような本(ペアノの公理から始めて云々)ってそんなにあるか？
そりゃ探せばたくさん出てくるだろうが、解析概論ですら無理数の構成は付録
まあたしかに、解析概論や解析入門(杉浦)は、実数の連続性や級数の話がかなり長く、初学者には見通しが悪いだろう
大学教員のなかにも、個人の趣味であまり役に立たないことをクドクド話したり、テストに出したりする人が多いことは容易に想像がつく