How does axiom of foundation prevent infinite sequence of elements?

  • Context: Undergrad 
  • Thread starter Thread starter Hill
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 3K views
Hill
Messages
867
Reaction score
658
TL;DR
How does axiom of foundation prevent the infinite descending sequence of elements?
Axiom of foundation says, ##\forall x (x\neq \emptyset \to \exists y(y\in x\wedge (y\cap x=\emptyset )))##.
The book says,
"As a consequence of the Axiom of Foundation, we see that there is no
infinite descending sequence x0 ∋ x1 ∋ x2 ∋ ···, since otherwise, the
set {x0,x1,x2,...} would contradict the Axiom of Foundation."

How does it contradict the Axiom of Foundation? If y=x0, it seems to obey the axiom.
 
Last edited:
on Phys.org
Forget it. I misunderstood the statement.
 
For the sake of completeness, suppose there is such a sequence. As it says in #1, take ##x=\{x_0,x_1,\ldots\}\neq\emptyset##. Then ##x_{k+1} \in x\cap x_k## for all ##k##, contradicting the axiom.