>>493
>本来はformalなものを嫌うのが
>自由な数学精神

これは、御大か
巡回ご苦労様です

過去のformalを打ち破る
それが、数学の精神ってことですね (^^