MoeBlee
Posts:
1,277
Registered:
5/9/11
|
|
Re: Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Posted:
Jan 10, 2012 5:25 PM
|
|
On Jan 10, 4:21 pm, Dan Christensen <Dan_Christen...@sympatico.ca>
wrote:
> (Ax)x+0=x won't get you very far as a formal
> axiom in group theory. A some point, you are going have to make
> statements and derive theorems about two or more DIFFERENT sets.
Fine, if proving statements that specifically mention sets is a
criterion for "going very far", then group theory doesn't "go very
far".
MoeBlee
|
|
