Am Freitag, 10. November 2017 19:50:36 UTC+1 schrieb Dan Christensen: > On Friday, November 10, 2017 at 9:53:06 AM UTC-5, WM wrote:
> > > > Therefore we use only FOL and the axioms of ZF and find that they make ZF uncountable without refering to anything else (that others may call a model but that you don't know and that threfore should not be used when talking to you). > > To prove that ZFC is inconsistent, you must be able to both prove and disprove the same theorem using only FOL and the axioms ZFC.
No. My share is done, showing that the power set of the set defined in Axiom VII is uncountable. The other part has been settled by Skolem already.
> > > No improvisations or hand waving allowed.
Where is that detected? In Skolem's proof? In Hessenbergs proof using axioms VII and IV without any models?