Axiom of Empty Set superfluous in ZF?

In summary: Okay, I'm too tired to work on this now.In summary, the conversation discusses the inclusion of an axiom stating the existence of an empty set in certain versions of the ZF axioms. It is argued that this axiom follows from the Axiom of Infinity and the Axiom of Separation, with the former being defined inductively and the empty set serving as its only basis. However, there is some confusion over whether the Axiom of Infinity actually states the existence of the empty set or if it needs to be explicitly asserted. Different methods for proving the existence of the empty set are also discussed.
  • #1
honestrosewater
Gold Member
2,142
6
Only some versions of the ZF axioms include an axiom stating that an empty set exists. According to mathworld, the Axiom of the Empty Set (AES) follows from the Axiom of Infinity (AI) and Axiom of Separation (AS), via [itex]\exists x (x = x)[/itex] and [itex]\emptyset = \{y : y \not= y\}[/itex]. I guess they think the AI states that a set exists? But the AI is defined inductively, and the empty set serves as its only basis. Here's the AI:

[tex]\exists x (\emptyset \in x \ \wedge \ \forall y (y \in x \rightarrow \cup \{y, \{y\}\} \in x))[/tex]

The AI doesn't say the empty set exists. It seems to me to be, well, like a proof by weak induction without a basis. It only says that an infinite set exists provided that an empty set exists. No? I'm confused.

Edit: haha, though I guess without the empty set, the set that AI says exists has no extension, so... ouch, my head.
 
Last edited:
Physics news on Phys.org
  • #2
I agree. It seems to me that the existence of the empty set [itex]\emptyset[/itex] needs to be predicated before one use the empty set in the axiom of infinity,
[tex]\exists x (\emptyset \in x \ \wedge \ \forall y (y \in x \rightarrow \cup \{y, \{y\}\} \in x))[/tex]
The Wikipedia ZF article does include the empty set as an axiom.
 
  • #3
Or at the very least, the AI needs to assert the existence of the empty set in its statement. One book I've checked out states that it is using:

[tex]\emptyset \in v_0[/itex]

as an abbreviation for

[tex]\exists v_1 \forall v_2 [ \neg v_2 \in v_1 \wedge v_1 \in v_0 ][/tex]

in its statement of the AI.


But, you can conclude the existence of the empty set merely from [itex]\exists x: P[/itex], for any relation P.
 
Last edited:
  • #4
Hurkyl said:
Or at the very least, the AI needs to assert the existence of the empty set in its statement. One book I've checked out states that it is using:

[tex]\emptyset \in v_0[/itex]

as an abbreviation for

[tex]\exists v_1 \forall v_2 [ \neg v_2 \in v_1 \wedge v_1 \in v_0 ][/tex]

in its statement of the AI.
Ah, okay then.
But, you can conclude the existence of the empty set merely from [itex]\exists x: P[/itex], for any relation P.
Yeah, this is what I was thinking. If it's already assumed that your domain is non-empty (as a logical presupposition, I suppose), the empty set is a subset of every set, so you can just use AS to get it -- but you don't need the AI.

OOHH, I think I read their and wrong. They say,
Itô includes an Axiom of the empty set, which can be gotten from (6) [AI] and (3) [AS], via [itex]\exists x(x = x)[/itex] and [itex]\emptyset = \{x : x \not= x\}[/itex].
I thought they meant (6) and (3) together, but they meant from (6) (by just including AES in AI) or from (3) (with the additional assumption that the domain is non-empty).
 
Last edited:
  • #5
No, I think you read it right the first time. Given the existence of some set, you use the axiom of subsets to produce the empty set. The axiom of infinity is the only axiom (aside from the axiom of the empty set) that unconditionally asserts the existence of a set.

A proof might look like:

Ex:Px (Axiom of infinity -- for the right P)
Ex:Px and Ey:Az: z in y <--> (z in x and Fz) (Axiom of subsets -- F is the relation that is always false)
Ex:Px and Ey:Az: not z in y
Ex:Ey:Az: not z in y
Ey:Az: not z in y

(I think I've gotten that right -- I don't think I've ever had to formally derive something like this involving quantifiers)


Of course, since the axiom of infinity is usually stated to assert the existence of the empty set directly, you could get it that way. (I wonder if there's a different way to state AI that doesn't do so?)
 
  • #6
Hurkyl said:
No, I think you read it right the first time. Given the existence of some set, you use the axiom of subsets to produce the empty set.
Right, and I mean that the formal language and logical calculus with which your theory is built might be able to grant you the existence of a set (or whatever kind of object the members of your domain are). If your language L is a first-order language with equality and your calculus is a sound, complete, first-order calculus, [itex]\forall x (x = x)[/itex] is logically true (satisfied by every L-valuation, i.e., holds in every L-structure) and provable (deducible from the empty set, i.e., a theorem of every L-theory). If you require the domain of an L-structure to be non-empty, [itex](\forall x (\phi)) \rightarrow (\exists x (\phi))[/itex], so you have [itex]\exists x (x = x)[/itex] before you even start adding any extralogical bits. Yes? Bleh, I need a break; my brain's fried.
The axiom of infinity is the only axiom (aside from the axiom of the empty set) that unconditionally asserts the existence of a set.
...
(I wonder if there's a different way to state AI that doesn't do so?)
AFAIK, there are only three ways to define a set (or class) S:

1) Extension -- name all members of S.
2) Intension -- name a definite property that all members of S have.
3) Induction/Recursion
a) basis clause -- name at least one member of S.
b) induction clause -- give rule(s) to get more members from those in (a) -- if x is in S, then x' is in S.
c) extremal clause -- says that nothing else is in S.​

Extension won't work for infinite sets. As long as the infinite set that the AI claims exists is defined inductively/recursively, you need a set to serve as the basis. Unless a set can serve as its own basis (and I don't think it can, will consider), your 'first' set cannot be defined recursively -- you need to already have another set, whatever it is and however you get it. Maybe you can define AI's infinite set by intension.
 
  • #7
The axiom of infinity doesn't define a set, by that criterion! :smile: (No extremal clause)

Ah, I remember now: you can write an axiom that asserts the existence of a set S, and a function f:S-->S where f is injective, but not surjective.

But I think this is useless from a practical point of view. (I don't think you can construct a model of the natural numbers)

There is a nice logical condition defining ordinals... ah, here it is:

Ord x <--> x is transitive and well-ordered. (WRT membership)

I think I can use these as a basis for an empty-set-free axiom of infinity!

AI': There exists a set S such that:
(1) There exists a function f:S-->S that is injective and not surjective
(2) S is transitive (WRT membership)
(3) S is well-ordered (WRT membership)

I don't think I've assumed the existence of the empty set, and I think this axiom should suffice to construct the naturals.
 
Last edited:
  • #8
Hurkyl said:
The axiom of infinity doesn't define a set, by that criterion! :smile: (No extremal clause)
I'm sure your mother is very proud of you. :tongue2: Yeah, the extremal clause usually goes without saying. I was just trying to be thorough.

So I did a quick search for confirmation and the first book that I checked, Set Theory by Kenneth Kunen, which doesn't include the AES, includes [itex]\exists x (x = x)[/itex] as Axiom 0, noting
This axiom says that our universe [a.k.a. domain] is non-void. Under most developments of formal logic, this is derivable from the logical axioms and thus redundant to state here, but we do so for emphasis.
Ah, I remember now: you can write an axiom that asserts the existence of a set S, and a function f:S-->S where f is injective, but not surjective.

But I think this is useless from a practical point of view. (I don't think you can construct a model of the natural numbers)

There is a nice logical condition defining ordinals... ah, here it is:

Ord x <--> x is transitive and well-ordered. (WRT membership)

I think I can use these as a basis for an empty-set-free axiom of infinity!

AI': There exists a set S such that:
(1) There exists a function f:S-->S that is injective and not surjective
(2) S is transitive (WRT membership)
(3) S is well-ordered (WRT membership)

I don't think I've assumed the existence of the empty set, and I think this axiom should suffice to construct the naturals.
I don't know about ordinals yet (I skip around a lot), but in order for f to not be surjective, there must exist some x in S that isn't in the range of f, yes? That is, it seems that you still need to posit another set before you can get this infinite one. (That's all that I meant, BTW -- that you might need some set, not necessarily the empty set.)
 
  • #9
I'm just happy I could state the AI without assuming the empty set. :smile:
 

1. What is the Axiom of Empty Set in ZF?

The Axiom of Empty Set states that there exists a set with no elements, also known as the empty set. This is denoted by ∅ or {}. It is one of the axioms of the Zermelo-Fraenkel set theory (ZF), which is a standard system of axioms used in mathematics to define sets and their properties.

2. Why is the Axiom of Empty Set considered superfluous in ZF?

The Axiom of Empty Set is considered superfluous in ZF because it can be derived from other axioms in the system. Specifically, it can be derived from the Axiom of Extensionality, which states that two sets are equal if and only if they have the same elements. Since the empty set has no elements, it is equal to any other set with no elements, and therefore can be defined without the need for an additional axiom.

3. What is the significance of the Axiom of Empty Set in ZF?

The Axiom of Empty Set is significant because it is one of the foundational axioms of ZF, which is one of the most widely used systems of axioms in mathematics. It allows for the existence of the empty set, which is a fundamental concept in set theory and plays a role in many mathematical proofs and constructions.

4. Can the Axiom of Empty Set be removed from ZF without affecting its consistency?

Yes, the Axiom of Empty Set can be removed from ZF without affecting its consistency. This is because, as mentioned earlier, the axiom is considered superfluous and can be derived from other axioms. Removing it would not change the rest of the axioms or their ability to define sets and their properties.

5. Are there any alternative set theories that do not include the Axiom of Empty Set?

Yes, there are alternative set theories that do not include the Axiom of Empty Set. One example is the Quine's New Foundations (NF) set theory, which uses a different set of axioms to define sets and their properties. In NF, the existence of the empty set is not assumed, but it can be proven to exist using other axioms in the system.

Similar threads

  • Calculus and Beyond Homework Help
Replies
2
Views
827
  • Set Theory, Logic, Probability, Statistics
Replies
13
Views
5K
  • Linear and Abstract Algebra
Replies
6
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
6
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
14
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
4
Views
4K
  • Set Theory, Logic, Probability, Statistics
Replies
10
Views
4K
  • Set Theory, Logic, Probability, Statistics
Replies
7
Views
3K
  • Linear and Abstract Algebra
Replies
10
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
2K
Back
Top