Within an axiomatic formulation of Euclidean geometry, for example that of Hilbert (Euclid's initial axioms contained different flaws which have been corrected by modern mathematicians),[ten] a line is stated to have particular properties which relate it to other lines and factors. As an example, for virtually any two unique factors, there is a one