数学基礎論・数理論理学　その9

現代数学が非構成的な存在証明をやっているうちは数理論理学的なデリケートな議論も必要になる。
ある種の三角圏の構成で順序数の性質を使っているところもある。ネーマンの三角圏の本にはシェラハへの謝辞がある。