Gödel and Philosophical Idealism | OUP Journals & Magazine | IEEE Xplore