1. Gödel’s Leibniz As Markus van Atten and Juliette Kennedy have shown, even after 1959, when Gödel turned from Leibniz’s philosophy to Husserl’s later transcendental idealism, he continued to pursue a project largely inspired by Leibniz. Van Atten and Kennedy suggest that when Gödel, after this tur...