>>679
「普通の数学」しか知らないんなら、
形式化とはどういうことかなんて
分かってないだろ。

だったら知ったかぶって口挟むなよ。
みっともないんだよ。バカが