How do Gödel’s incompleteness theorems relate to our current understanding the utility of new models?
