|
|
Re: Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Posted:
Jan 11, 2012 3:26 PM
|
|
> Just to be clear, do you see the axioms of first-order group theory
> (Mendelson's 7 axioms with their explicitly unbounded quantifiers)
> to be a workable, alternative set of axioms for that branch of
> mathematics we call group theory, or not.
Just to be clear, do you see the axioms of Peano arithmetic to be a
workable, alternative set of axioms for that branch of mathematics
we call real analysis, or not?
(Or without the parable: why should we think your question matters?)
-----------------------------------------------------------------------------
e m a i l : j a c k @ c a m p i n . m e . u k
Jack Campin, 11 Third Street, Newtongrange, Midlothian EH22 4PU, Scotland
mobile 07800 739 557 <http://www.campin.me.uk> Twitter: JackCampin
|
|
