Many aspects of Hilbert's position are summed up in this passage from his 1902 lectures on the foundations of geometry: the axioms ‘create’ the domains, and the consistency proofs justify their existence. As he puts it: