Platonism in mathematics (1935) Paul Bernays