Re: Axiom of infinity and the set of all hereditary finite sets.



Zaljohar@xxxxxxxxx writes:

What I was actually talking about is the set

{x,Ux,UUx,UUUx,...........} is finite for every x , i.e

Ax:{x,Ux,UUx,UUUx,...........} is finite

is a theorem of ZFC.

It's not.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.