>>408
「2点間の最短距離は直線である」って、公理じゃないの？
証明必要なのかしら？

逆に直線とは何か？と聞かれたら何と答えればいいのかしら？

ってか「2点間の最短距離」って、直線ではなくてその2点を結ぶ線分だと思うけど、
公理って言葉を出してしまった以上、線分とは何か？とか面倒臭くなるわね。
線分とは2点を結ぶ最短距離を表す線のこと、ってな感じじゃなかったっけ？
公理調べるのも面倒臭い〜