In article <firstname.lastname@example.org>, email@example.com wrote:
> On Sunday, 16 June 2013 11:25:27 UTC+2, fom wrote: > > But, you respect neither mathematics based upon axioms nor logic based > > upon axioms. > > contradictions. Like the undefinability of elements and extensionality: > > "Eventually, most mathematicians came to accept that definability should not > be required, partly because the axiom of choice leads to nice results, but > mostly because of the difficulties that arise when one tries to make notion > of definability precise." (Andreas Blass) > > That is a real surprise to me. Which mathematicians accepted that and when? > Was there a public meeting with voting like in meta or like in the astronomy > scene when Pluto has been degraded?
Since WM apparently claims to be able to define everything, what words will he use in his very first definition, before he has defined any words?
Those who are not imprisoned in WM's WMytheology realize that one cannot define everything.
But WM is so used to his imprisonment there that he no longer sees its walls. --