You're way ahead of me in the history of philosophy and mathematics. But how do you fit in Godel's turn toward phenomenology? https://plato.stanford.edu/entries/goedel/goedel-phenomenology.html

I'm not citing this article to refute or challenge any of your points here but to ask how Godel's later philosophy fits in with your analysis.