On Saturday, 3 May 2014 20:46:13 UTC+2, Dan Christensen wrote: > On Saturday, May 3, 2014 1:06:30 PM UTC-4, muec...@rz.fh-augsburg.de wrote: > > > > > > Not at all. The great thing about formal proofs is that every one of a formal proof's assumptions and rules of inference have been made explicit. > > > > Wrong. Where is it made explicit, for instance, that everything has to be made explicit? Nowhere! So, why do you think that everything should be made explicit?
> > Spoken like a true charlatan!
You are trapped within your own silly claims. >
> If you cannot point out any faulty assumptions or inferences, and cannot formally disprove the result then, you must accept it.
Where has that been made explicit? Nowhere, again you are handwaving here.
Nevertheless, if I can prove that a set is countable and is uncountable, then I will not accept it, although according to your axioms and inference rules both is true.