Postulates for points, lines, and planes