But it does become relevant if you consider the mathematics we can understand expanded to some ontological boundedness, for instance perhaps something that rela

But it does become relevant if you consider the mathematics we can understand expanded to some ontological boundedness, for instance perhaps something that relates to the validity of the Church-Turing thesis. Then talking about mathematics beyond such a scope becomes moot too. With this I'm not saying we can't reason about Gödel's results by the way.