また、上記スレで他にも出た話題についてはどうでしょうか。
・前提は仮定するものであって、証明しなければならないものではない
・前提の性質が明快なものは肯定的証明がなされることが多い気がする

694 名前：デフォルトの名無しさん[sage] 投稿日：2010/03/07(日) 08:47:39
>>690
ユークリッド幾何の公理に、
2本の直線が平行ならば、その2本の直線は交わらない
というものがあるが、君の感性だとこの公理も気持ち悪いし、
「2本の直線は平行である」という証明がなければ無意味
ということになるわけだが、正気か？

695 名前：デフォルトの名無しさん[sage] 投稿日：2010/03/07(日) 08:57:29
＞2本の直線が平行ならば、その2本の直線は交わらない
＞というものがあるが、君の感性だとこの公理も気持ち悪いし、

先人もそう思ったから証明しようとしたんだろ
結果非ユークリッド幾何になっちまったが

696 名前：デフォルトの名無しさん[sage] 投稿日：2010/03/07(日) 09:00:05
>>695
> 先人もそう思ったから証明しようとしたんだろ

はあ？公理を証明？？
おまえ、終わったな。