>>223
だから別に読まなくてもいいんだって、
それはコンピュータに読ませるための
証明なんだからさ

ユークリッド幾何を勉強するのに幾何
学基礎論を読まなくてもいいでしょ

勉強をして感覚を養うのと、正しさを
厳密に確認するのは、違う作業だって
ことはよく知ってるでしょ