証明無しに正しいとする公理系
この公理系を決める方法が、>>1あるは(多くの人、多くの研究者)が正しいと思ってる命題
でいいんじゃないかな。
単に証明無しに正しいとする公理系から導かれる〜〜
だったら公理系がどんなバカげたものでもそれは正しいことになるけど、現実的に意味がないからね。
ある公理系で「クジラは体長1cmで３本の角をもち空を飛び、一日に100人人間を食い、寿命は60万年だ)
なんてことが「正しい」と結論付けられてもあまり意味はないでしょう？