... of Geometry"). His suggestion in 1920 that mathematics be formulated on a solid logical foundation (by showing that all of mathematics follows from a system of ...