ヒルベルト『幾何学基礎論』．ゼミ形式で定理の証明を学生さんにやってもらう．

http://arxiv.org/abs/1312.2979

http://arxiv.org/abs/1312.3178