So, I read through the
Zermelo-Fraenkel axioms, and to a certain degree I think I understand them. I'm still hung up on this concept:
Why not just have
This is certainly permissible by the
axiom of pairing.
Now, I'm probably just demonstrating how little I understand, but what is the meaning of the having 3 = {1,2}?
I was thinking their method must lend themselves to proving arithmetic. So, lets see:
which is still just 3.
Let's try this:
what do we know about this set?
[ March 31, 2005: Message edited by: Nick George ]