“The conciseness of the system of axioms is surprising,” comments Stan Ulam. “The axioms take only a little more than one page of print. This is sufficient to build up practically all of the naive set theory and therewith all of modern mathematics … and the formal character of the reasoning employed seems to realize Hilbert’s goal of treating mathematics as a finite game.”32
