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?
> 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 (that others may call a model but that you don't know and that threfore should not be used when talking to you).