>>352
いや、自分は何故数学を勉強するのか、とかそういう意味のmotivationじゃないんだがｗ

たとえば、filterという概念を何故考えるのか
→「極限」のような概念をもっと一般的に考えたい、
とかそういう意味での「動機付け」なんだが。
良く分からんがこういう集合族を定義すると論理的にこうなる、というのは理解とは言わない。

>>356
たとえば小平邦彦は大学紛争のときに
ロジック関係を勉強しようとして、不完全性定理は何とか分かったような気がしたが
forcingはついに最後まで分からなかった、と書いていた。

いまはKunenの訳書があるから分からないが、
数年前までは東大の数学科の上位の学生でも
forcingを勉強しようとして挫折した、という人は居ると思う。

これはたぶん、初学者や非専門家には全然意味が分からない
genericやらforceやらの概念を用いたやはり意味の分からない議論が
何十ページか続く上に、メタ数学的なテクニックも難しくて
数学的な理解が阻害されるから、とかそんな感じの理由だと思う。

小平邦彦も「そういう本しか読めないやつ」に該当するのかな？