 for all formulae \({F}(u)\) in which X does not occur. That \(\bZ_2\) is often called “analysis” is due to the realization (e.g., in Hilbert &amp; Bernays 1939) that, via the coding of real numbers and continuous functions as sets of natural numbers, a good theory of the continuum can be developed from these axioms.