1
$\begingroup$

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

Thanks very much for any help

  • 0
    The language of ZF has only one relational symbol: $\in$. There is no <, certainly not in axioms.2013-05-09

2 Answers 2

8

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.

  • 0
    @hmmmm: No problems. It's not a bad question, so don't feel bad.2012-10-16
5

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.