Was Gödel a Gödelian Platonist? | OUP Journals & Magazine | IEEE Xplore