On finite models of Hilbert's incidence geometry

Abstract

We consider finite models of the first group of Hilbert's axioms of the Euclidean geometry (the so-called axioms of incidence). We give a lower bound on the number of such models with n points, and we calculate their exact number for n up to 12.