Hi, I joined recently and I'd like to start a do-discussion about the empty set. Why is it empty and why is there only one empty set?(adsbygoogle = window.adsbygoogle || []).push({});

It's "full of nothing", right?

Apparently the ontology of a singular but empty set is still a hurdle for the philosophers, yet mathematicians use this logical, infinitely 'variable' thing with 'nothing' in it blithely, or regularly. Is it the only regular thing in existence, since it contains the future or all future imaginary events? Does it, in fact, represent imagination?

from wikipedia: (my underlines)

Assertion is therefore the 'realization' that the imagined (empty thing) in {}, is in fact real...? Axiomatic set theory

In Zermelo set theory, the existence of the empty set is assured by the axiom of empty set, and its uniqueness follows from the axiom of extensionality. However, the axiom of empty set can be shown redundant in either of two ways:

* A logic such that provability and truth hold for both empty as well as nonempty domains is called a free logic. Set theory is almost never formulated with free logic as its background logic; hence many theorems of set theory are valid only if the domain of discourse is nonempty. Canonical axiomatic set theory assumes that everything in the (nonempty) domain is a set. Thereforeat least one set exists; call it A. By the axiom schema of separation (a theorem in some theories), the set B = {x | x∈A ∧ x ≠ x} exists and, having no members, is the empty set;

* The axiom of infinity, included in all mathematically interesting axiomatic set theories, not only asserts the existence of an infinite set I (from which B in the preceding paragraph may be constructed), but typically requires that the empty set be a member of I.

Do we then imagine time itself, since all epistemological 'experience' initially is in {}?

And of course, we epistemologically know that the universe was in {}, and now there is exactly one (empty) universe, because it's full of "things" from the empty future that the full past asserts.

What do you think - do we require that there be exactly one {} (which is provable mathematically), so that it's always empty, since otherwise the universe would not have been asserted which, obviously it has been?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Why is it empty and why is there only one empty set?

Loading...

Similar Threads - empty empty | Date |
---|---|

News OSTP in the White House is Emptying Out! | Jul 3, 2017 |

News Wikileaks empties the bucket. | Sep 2, 2011 |

Emptying a Toilet | Jun 6, 2010 |

Look around and see a loved one's chair is empty | May 14, 2010 |

**Physics Forums - The Fusion of Science and Community**