Undecidability of the theory of projective planes

Elementary theories of projective planes are studied. The class of symmetric irreflexive graphs is proved to be relatively elementarily definable in the class of projective planes. Therefore, the theory of projective planes is hereditarily undecidable.