>>391
> 普通の数学者の能力では実際理解出来ないということはしばしば
> 観察される事実でしょう。

ゲーデルなんか興味ね〜という数学者は大勢いるけど、
勉強しても理解できない数学者なんているのか？
いるとすれば、証明のどの段階でつまずくのか？