
Re: Why do we need those real nonconstructible numbers?
Posted:
Nov 9, 2017 11:18 AM


Am Donnerstag, 9. November 2017 14:33:24 UTC+1 schrieb Dan Christensen: > On Thursday, November 9, 2017 at 1:54:32 AM UTC5, WM wrote:
> > There is no countable model of axioms IV and VII. > > > > There is nothing about "model" in the axioms of set theory (e.g. in ZFC).
There is nothing about "about" and about "axioms" and about many other things in the axioms of ZFC. That's because some peripherical knowledge is indispensably required when doing mathematics.
> If you want to show that model theory is inconsistent,
No. Model theory is of no interest. I show that every structure that satisfies the above ZF axioms, usually but not necessarily denoted as a model of these axioms, is uncountable.
Regards, WM

