Re: Set theory ZFC is inconsistent.


jaykov wrote:
Rupert wrote:
jaykov wrote:
Yes this is right

Okay, so what do you want to do now?


Definition. <ω>:={X |(Er)(Ap)Q(r,p,X)}, [ω]:=ω union <ω>.

<ω> is actually the set of all arithmetically definable sets. Okay,
fine. What now?

.