>>404
そうだね
紙に書かれた文字列であるところの証明と、その意味・解釈は一応区別されるものでしょう
数学の解釈は他の学問と違って人によってブレたりしない、というのはほとんど常識となっているけど、
これは厳密に証明される（証明しようとされる）ような類のことではないわな