The old Google Groups will be going away soon, but your browser is incompatible with the new version.
*** GEORGE'S SET THEORY ***
 There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic. There was an error processing your request. Please try again. Standard view   View as tree
 1 message

From:
To:
Cc:
Followup To:
Subject:
 Validation: For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon.

More options Oct 5 2012, 8:54 pm
Newsgroups: sci.logic, sci.math, comp.ai.philosophy
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Fri, 5 Oct 2012 17:54:06 -0700 (PDT)
Local: Fri, Oct 5 2012 8:54 pm
Subject: *** GEORGE'S SET THEORY ***
GEORGE'S SET THEORY!
*****************************

GEORGE'S RELATION ALGEBRA!
aRb

GEORGE'S INFERENCE RULES!
P -> P
~(X -> ~X)

GEORGE'S SET AXIOMS!
1. Extensionality:
AxAy [Az (zex <-> zey) -> xey]
2. Regularity:
Ax [Ea (aex) <-> Ey (yex & ~Ez (zey & zex))]
3. Specification Schema:
AzAw_1...w_nEyAx [xey <-> (xez & phi)]
4. Pairing:
AxAyEz (xez & yez)
5. Union:
AfEaAyAx [(xey & yef) -> xea]
6. Replacement Schema:
AaAw_1...w_n [Ax (xea -> E!y phi) -> EbAx (xea -> Ey (yeb & phi)]
7. Infinity:
Ex [0ex & Ay (yex -> S(y)ex)]
8. Powerset:
AxEyAz [z subset x -> zey]
9. Wellordering:
AxEr (r wellorders x)

GEORGE'S VALIDATED PROOFS!
THEOREM 1 = ..
THEOREM 2 = ..
THEOREM 3 = !E(R) XeR <-> !(XeX)   *TADAAAA*
...

JUST ADD 3 WORDS TO MEAN THE SAME TERM
FOR EVERY TERM THAT YOU USE
SO YOU CAN ALWAYS SWAP TERMS

"WHERE'S THE FRICKIN' THEOREMS???"

Herc