theHigherGeometer on Nostr: This is a terribly fuzzy thought, but you can see vague shades of this in MacIntyre's ...

This is a terribly fuzzy thought, but you can see vague shades of this in MacIntyre's chapter "The Impact of Gödel's Incompleteness Theorems on Mathematics" in the 2011 book Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. He argues, as I recall, that much of the actual ('generic', I would call it) mathematics that is done and where the biggest results are, falls in the realm where one doesn't run afoul of incompleteness phenomena.