>>693
念のために他の公理も全部書いてくれるかな
ほんとうに直線の公理がないかどうかわからないから