>lDontBother@nowhere.net wrote: >> On 12 Jul 2006 23:34:03 -0700, "Gene Ward Smith" >> <email@example.com> wrote: >> >>> Norm is also opposed to axioms. >> >> Isn't everyone? The only reason for axioms is that people are too lazy >> or stupid to demonstrate the truth of their assumptions > >How do you demonstrate that?
That people assume their assumptions? Axioms are assumed. Assumption is the alternative to demonstration. Assumption is not demonstration. If people are "not too lazy or stupid" to demonstrate theorems - since many theorems have been demonstrated - then the inference is they are too lazy or stupid to demonstrate axioms by conversion of "not not too lazy or stupid".