A note on Gödel’s philosophy of mathematics in the light of his Nachlass