Kurt Gödel : results on foundations - Gödel, Kurt; Hämeen-Anttila, Maria; Von Plato, Jan (Sources and studies in the history of mathematics and physical sciences, 2023)