>>141
>ある公理系から演繹される理論体系を正しい体系として定義すれば、
>その理論体系が正しいことは自明だし、数学で正しいという場合はそういう意味ですよ。
そうだね
じゃあ自明じゃん