Skip to main content
1 of 2

If by "first-order logic of the plane" you mean the theory consisting of those statements which can be phrased in terms of some ambient notion of adjacency (e.g. "point is on a line", "line A meets line B", ...)

Then the answer should be yes; since these "natural" notion of adjacency can be reduced to the existence of solutions to sets of equations built up from the operations of the field.