> Additionally, Gödel showed that there are true statements that can be described but not proven by math, ao it can never be a perfect model of the real world.

> Additionally, Gödel showed that there are true statements that can be described but not proven by math, ao it can never be a perfect model of the real world. I assume you are refering to Gödel's incompleteness theorems; but this is not what they "say". What they say is that any formal system powerful enough to contain basic arithmetic is either inconsistent (ie. it can both prove and disprove a particular theorem) or incomplete (ie. cannot either prove or disprove all theorems). If you take the ZF set theory, for example, it is incomplete, because some statements cannot be either proved or disproved within ZF, such as the Axiom of Choice (AC) or Zorn's Lemma. However, that doesn't imply that ZF cannot be "a perfect model of the real world", because the AC is irrelevant in a the real world, because the AC only applies to infinite sets, which do not exist in the real world.