Today , however , many other self-consistent non-Euclidean geometries are known , the first ones having been discovered in the early 19th century .
Euclidean geometry is a first-order theory .