A fuller look at Hilbert’s program, examining how consistency proofs were envisioned to secure the foundations of mathematics, and focusing on the special role of the ordinal epsilon-zero. We consider how epsilon-0 arises in key consistency arguments and its significance in proof theory.