2+2=4 is true because of the meanings of its component parts, not because of observation. If you like, use a similar proposition like, “If the universe is simulated, then the universe is simulated.”
There has been a coherent and we’ll agreed on definition of what constitutes a formal proof since the 1940s, hence the branch of mathematics, “proof theory” exists.
This topic was automatically closed after 5 days. New replies are no longer allowed.
