平均的学生にとっては、証明の理解は不完全性の方が難／定理の意味の理解は米田の方が難、
というところだろう。常識的な答えでスマンが。
ところで、このスレでの米田の補題の証明の説明は、用語をはじめとして、
皆さん一寸難しく言い過ぎじゃないかな。黒板が使えれば、簡単な図と説明で
容易に分かる程度のことだ。
ただ、補題の意義の納得には、だれか言ったように少し時間が必要だろうね。