An axiomatic projective plane is a point-line incidence structure with the following axioms:
- any two distinct points are collinear (via a unique line);
- any two distinct lines meet in a unique point;
- there exists a 4-gon.
Now consider $P = \mathrm{Proj}(k[x,y,z])$, a projective plane over a commutative ring $k[x,y,z]$ with $k$ a field. (This is just an example, I am in fact interested in any algebro-geometric projective plane over a graded commutative ring.)
Can we detect an axiomatic projective plane in $P$ in a natural way ? In other words: does there arise an axiomatic projective plane in some way ?