A session on Hilbert’s program, focusing on the nature and role of consistency proofs in early 20th-century logic. Includes discussion of the epsilon-substitution method and the significance of epsilon-zero for measuring the strength of consistency proofs.