>>292
そんな定義は幾何学基礎論にない
ヒルベルトの公理では点も線も無定義述語