Mathematics generally may not be a property of the universe or "world", but the world may constrain what mathematics may be understood or computed within it. T

Mathematics generally may not be a property of the universe or "world", but the world may constrain what mathematics may be understood or computed within it. The choice of axiomatic system limits what is provable in mathematics, as demonstrated by Godel's theorem in the case of natural number arithmetic. The world may limit that choice of axiomatic system or the computability of theorems. There may be mathematical theories which are true but we can not prove within the physical bounds of our universe.