ything sould be exactly like Euclid did! The definition is what one believes to be, no question should be asked for its proof or scope. it is just a starting point in a way...if the definition is wrong, the theorem should be wrong in an obvious way later. don't believe so, change the definition of point to "having no lines", see what will happen later in your proof.