The parallels between this ‘axiomatic method’ of Hilbert's and Zermelo's axiomatisation of set theory are reasonably clear, if not   exact.[11] Particularly clear are the assumption of the existence of a ‘domain’ 𝔅, the statement of a finite list of axioms governing its contents, and the recognition of the requirement of a general consistency proof. There's also implicit recognition of the requirements of ‘finite proof’; this leads us to the second important aspect of the Hilbertian background, namely proof analysis and the use of the Axiom of Choice.