>>375
>どっちの式が形式上の定義だったかなんて、
>二つの定義の同値性の前には、取るに足らないこと。
元々の定義に構文木に図示できる図形的情報も含んでいるのに
そういったものを歪曲・無視し「同値性」などというのだから、
これが自由派の自由派たる所以なのだろうね
本気で「ΔABC≡ΔDEF、かつ、ΔDEF=ΔGHIならば、ΔABC≡ΔGHI」と
思ってそうで怖いな

かけ算問題を必死に否定しているのが極一部の人間でしかないことが、
現実を如実に物語っているだろう
まあ、ペーパー書かないペーパー数学者なら、だれかからチェックされる
機会も得られずここまできてしまう、ということもあるのかもしれないと
思ったりもする