Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am having a bit of confusion about the real numbers and ZF set theory (I asked a question about it a few days ago). I am a bit unsure as to why the real numbers can be in any model of ZF as they seem to contradict the axiom of foundation (regularity) i.e. that for every set $X$ and $Y\subseteq X$ $\exists a\in Y:\forall b\in Y ((b\neq a)\ b<a)$

Thanks very much for any help

share|cite|improve this question
To my knowledge the Axiom of Foundation states that for every nonempty set $X$, there is an element $A\in X$ such that $A\cap X=\emptyset$. What does $((b\ne a)b<a)$ mean after all? – Hagen von Eitzen Oct 15 '12 at 20:26
I was say that wrt the ordering each set has minimal element but I got my ordering very confused, as you can see from the answer. I think what you have stated is equivalent though – hmmmm Oct 15 '12 at 20:48
The language of ZF has only one relational symbol: $\in$. There is no $<$, certainly not in axioms. – Ivan Kuckir May 9 '13 at 14:05
up vote 8 down vote accepted

The axiom of regularity states that $\in$ is well-founded. Namely if $A$ is a non-empty set, then $(A,\in_A)$ (the membership relation restricted to $A$) has a minimal element.

Unlike the natural numbers [read: finite ordinals], which are inherent objects to the universe of ZF, the ordering of the real numbers is not defined by $\in$. It can, however, be defined by $\subseteq$ which itself is definable.

However there is no requirement that $\subseteq$ is well-founded, and indeed it is not.

share|cite|improve this answer
Thanks very much, just got a bit confused then – hmmmm Oct 15 '12 at 20:46
@hmmmm: No problems. It's not a bad question, so don't feel bad. – Asaf Karagila Oct 16 '12 at 5:57

The axiom of foundation says that for each nonempty set $Y$ it holds that $\exists a\in Y:\forall b\in Y \neg(b\in a)$. This means that every set is well-founded with respect to the $\epsilon$-relation.

If the real numbers were well-founded with respect to the the $<$-relation, we would have for each nonempty set $Y$ of real numbers that $\exists a\in Y:\forall b\in Y \neg(b< a)$. This is indeed false as the example $Y=(0,1)$ shows.

Since the relations $\epsilon$ and $<$ do not have to agree on $\mathbb{R}$, this is in no way contradictory. Some relations are well-founded, others are not.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.