CourseNotes
Published on CourseNotes (https://course-notes.org)

Home > Axiom Schema of Separation

1 post / 0 new
October 21, 2008 - 19:21
#1 [1]
Lleu [2]
Lleu's picture
Offline
Joined: Oct 2006
Axiom Schema of Separation

I was studying set theory, and part of it made absolutely no sense to me. It's not exactly AP Calculus related, but I had no idea where else I could find a group of really smart math people.

I understand the Axiom of Abstraction, that for some y, given any x, x is an element of y if and only if phi(x). I see how you get Russel's paradox from that, but then the book I'm using resolves it by saying

For some y, given any x, x is an element of y if and only if x is an element of z and phi(x). Where did the z come from and what is it supposed to be?

Top

Source URL:https://course-notes.org/forum/math/ap_calculus/axiom_schema_of_separation

Links
[1] https://course-notes.org/forum/math/ap_calculus/axiom_schema_of_separation [2] https://course-notes.org/user/41454