戻る

1つめの穴のような話は advanced mathematics をやるときほど雑に踏まれる傾向があるので、今後 modern mathematics の形式化などに踏み出すにつれ、このような事例はもっと多く出てくることになるでしょう、ということで締められている。