>>326
文字列をオブジェクト言語とする
見方をしている下で、その文字列はそのオブジェクト
言語において定義されている証明であったりする。
こういう理解でいいのかな。
>>328
そうなのか。俺はごく一部の数学者の発言
しか知らないからなあ。大学の数学の先生とか。
数学的証明の確かさってのも普遍的ではなく、
言葉の様式に相対的なものなのか。