|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: The ZF Axioms of set theory''
by ratboy on 2007-12-07 10:43:23 |
|
| | The study of axiomatic set theory, like, say, the "axiomatic" theory of groups, takes place in informal set theory. In the formal theory of ZF, the notion of "property" corresponds to that of "first-order definable in the language of ZF". For example, a set s has the property of being nonempty if and only if s satisfies the formula "Ey(y \in x)". |
| | [ reply | up | top ] | |
|
|
|
|
|
|
|
