Talk:Equation of Straight Line in Plane

Context
What axioms and definitions are supposed to be in play here? This could well be taken as the definition of a line in Cartesian geometry. --Dfeuer (talk) 05:57, 28 May 2013 (UTC)


 * The original plan was:
 * a) to take the definition of the cartesian space (n-dimensional) and demonstrate that it is isomorphic to the Euclidean plane / space as "assumed" by Euclid (nowhere does he actually "define" the plane)
 * b) Somehow demonstrate that the equation as given is equivalent to that given by Euclid (i.e. that it doesn't deviate from itself, or however the wording is)
 * but I didn't have the mathematical vocabulary when I started it and probably still don't but I know better now what I don't know).


 * I wonder whether Tarski's Axioms (somewhere on, someone else posted them up) may not contain the seeds of what we need here. --prime mover (talk) 06:24, 28 May 2013 (UTC)