Grundlagen der Mathematik - Hilbert, David 1862-1943; Bernays, Paul 1888-1977