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.