>>133
どういう意味で「正しい」って言ってるの？
ある公理系から演繹される理論体系を正しい体系として定義すれば、
その理論体系が正しいことは自明だし、数学で正しいという場合はそういう意味ですよ。

なんだかな〜という感じ。
「正しい」という言葉の響きに酔ってるだけじゃないの？