On Friday, November 10, 2017 at 9:53:06 AM UTC-5, WM wrote: > Am Donnerstag, 9. November 2017 18:03:33 UTC+1 schrieb Dan Christensen: > > On Thursday, November 9, 2017 at 11:19:02 AM UTC-5, WM wrote: > > > > > That's because some peripherical knowledge is indispensably required when doing mathematics. > > > > Not at this level. Every assumption must be made explicit. > > How to make something explicit without using text that you don't understand? >
Just because you don't understand something doesn't mean you can just make up any old nonsense about it -- like your goofy number system where you couldn't even prove that 1 =/= 2.
> > No improvisations or hand waving allowed. > > Therefore we use only FOL and the axioms of ZF and find that they make ZF uncountable without refering to anything else...
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. Good luck with that.