柴垣和三雄著『解析学通論上』

「R8. 実数は直線上の点で表わされる。」

これが実数の8番目の公理として登場します。

「直線」の定義も「点」の定義もありません。
これが公理だというのはどういうことでしょうか？