Foundations of Geometry
Along with the
writings of Hilbert's friend and correspondent Frege, Hilbert's
Foundations of Geometry set the stage for Russell and
Whitehead's Principia Mathematica. Hilbert presents a new
axiomatization of geometry to algebra, and introduces the
distinction between mathematics and metamathematics, with a new
theory of proof.