I think you're confused about what the theorem says & how it applies to formal models of reality.