公理
点aと点bを結ぶことのできる直線が存在する。
→数学の根源
定義
まっすぐで際限なく続いている線を直線と言う
また、点aと点b間の直線を線分と言う。
→ある条件における類似性について名前を付けること。
定理
良い例が浮かばない・・・。無理矢理、ピタゴラス
の定理に持って行くかな。