>>679

何か誤解がある

>>無限に関する命題が、有限と全く同じように
>>有限ステップで証明できると思うほうが愚かだろ

無限に関するもっとすごい命題が証明できるという
漠然とした期待があったのかもしれない

20歳前後はいろいろと愚かだった。
ここ数日は慣れない議論を我慢してフォローしていたが
昔の伊勢先生の授業が分からなかったときのことを
思い出した。