>>225
＞だから別に読まなくてもいいんだって、
＞それはコンピュータに読ませるための
＞証明なんだからさ
コンピュータを信頼する根拠は？

＞ユークリッド幾何を勉強するのに
＞幾何学基礎論を読まなくてもいいでしょ
それはむしろ君の主張を否定するもののような希ガス

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

理解せずに正しさを確認できるという発想は
どこか精神を患っている希ガス