At least consistency is a necessary constraint for a theory. Consistency of a theory is a claim about ℕ. So for consistency to be meaningful, ℕ must refer to some structure, about which claims can be meaningful, though establishing truth of non-Σ_1 sentences is difficult. (2/6)
-
-
Show this thread
-
Gödel's ontological proof shows that God exists. (3/6)
Show this thread -
Therefore ZFC is sound, since God put ZFC in our minds, and would not deceive us. (4/6)
Show this thread -
And there is a true universe of sets, created by God. (5/6)
Show this thread -
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.