> On 3/20/2013 11:42 AM, YBM wrote: >> Le 20/03/2013 17:35, WM a écrit : >>> On 20 Mrz., 17:18, YBM <ybm...@nooos.fr.invalid> wrote: >>>> Proof, in the Mückenheim way, that an dog with no legs has two legs. >>> >>> It is a pity that you have no idea of what set-inclusion means. But I >>> am not surprised. >> >> The pity is that you do not recognize you OWN way of "prooving" >> statement when you are in face of it. >> > > He cannot. > > "Proof by reality" is not based upon > even his own methods.
WM claims to give proofs, but refuses to give axioms or definitions. WM claims "proof by reality", yet tells us that proof by induction yields conclusions about non-existent entities that are true "without doubt".