以前、d:id:redcat_math:20060522#1148301628 の中で 数学の研究とはまさに「オブジェクトなき戦い」なのかも知れません。 と書いたわけですが、よくよく考えてみると、これは微妙に違うな、と思いました。 先日まで、Zermelo-Fraenkel 公理系をせっせと紹介…