He presented twelve axioms for Euclidean geometry which he proved to be an complete system of axioms and he also proved the independence of the axioms.
Siya itinanghal-alas-dose axioms para sa Euclidean geometry na kung saan siya proved na maging isang kumpletong sistema ng mga axioms at siya rin proved ang pagsasarili ng mga axioms.