1.
ホーム
2.
単純型理論のcanonicityの証明