Forming set with infinite elements

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
3 replies · 3K views
jagbrar
Messages
2
Reaction score
0
using only the empty set, pairs, and unions can you form sets with infinitely many elements?
 
Physics news on Phys.org
jagbrar said:
using only the empty set, pairs, and unions can you form sets with infinitely many elements?

Pairs? Do you mean direct/cartesian product?
 
jagbrar said:
using only the empty set, pairs, and unions can you form sets with infinitely many elements?

Now, one cannot. We need a separate axiom to be able to form infinite sets. Normally, one uses the axiom that [itex]\mathbb{N}[/itex] exists. But this is (usually) equivalent to asserting that an arbitrary infinite set exists.

Using only the empty set, pairs and unions, one cannot derive that infinite set exists.
 
gb7nash said:
Pairs? Do you mean direct/cartesian product?
The axiom of pair/pairs/pairing says that if x and y are sets, there's a set z such that x and y are both members of z. Link.