上のほうで線形代数の公理の話をしていたが、
講義の始めにユークリッド、ロバチェフスキー、ボヤイ、
リーマン、ヒルベルト、ブルバキの話を一回だけしておけば
いまの学生でも十分可能。

昔はその話が明示的にか暗示的にか
高校生のうちにされていただけじゃないかなあ。