Karl Menger, mathematician