|
|
Re: Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Posted:
Jan 12, 2012 9:18 AM
|
|
Dan Christensen wrote:
>
> On Jan 11, 11:29 pm, Rotwang <sg...@hotmail.co.uk> wrote:
> >
> > The fact is, you were mistaken when you asserted that real analysis can
> > be derived from Peano's axioms.
>
> Are you serious??? Has it really never been done?
Not without set theory, usually informal set theory.
> That's hard to
> believe,
--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting
|
|
