Give an example of a statement which is independant of the incidence axioms which is shown to be independent by the model of the usual Euclidean plane and the integer lattice plane (in the integer lattice plane, points are obviously of integer coordinates, and for lines: (y-y0)=m(x-x0) where x0 and y0 are integers and m is rational.
I am stumped.