>>732
証明を暗記して「証明」が理解できるのかと小一時間（ｒｙ
そりゃそうと、後味悪い＠の取り方だね。

「我々は、ゲーデルの不完全性定理の理解を目標においている」
数学基礎論（'99）まえがきより。