Kurt Gödel and the foundations of mathematics | lit.salon