This notion of ‘definition through axioms’, what came to be known as the method of ‘implicit definition’, can be seen in various writings of Hilbert's from around 1900. His attitude to existence is illustrated in the following passage from his famous paper on the axiomatisation of the reals: