This collection investigates the historical evolution of mathematical foundations from the late eighteenth century through the early twentieth century. William Bragg Ewald, a scholar of mathematical logic and philosophy, compiles and translates primary source documents to trace the shift from Kantian intuitionism to the formalist program of David Hilbert. The work provides a rigorous framework for understanding how mathematicians and philosophers grappled with the consistency, completeness, and nature of mathematical truth during a period of rapid intellectual change.

Experts and historians of mathematics frequently cite this two-volume set as an indispensable resource for accessing foundational texts in their original context. Readers often note the academic density of the prose, which requires a strong background in logic and mathematical history to fully appreciate the nuances of the arguments presented.