>>218
基本的に数学記号は使用していませんが、誤解の余地はありません。なんの問題もない証明であり
{∃a∈N|〜}
というふうに書かないと間違いになるということでもないと思います。

>>219
計算間違いも、極限の計算もありません。あるのは
指数関数、多項式、n次元方程式、Π、Σ(…としていますが)、mod演算ぐらいです。

>>220
通用しなければ、数学者は数学ができないということになりますけど

>>221
フォーマットがよくないというのが理由であれば、実質的にはそれができる人間が書き直せばいいだけ
で些末な事でしかない

>>222
中学生のときには起きていた、受検でイカサマをされる前なので