◀ ▲ ▶Branches / Set-theory / Corollary: Minimal Inductive Set Is Subset Of All Inductive Sets

We have defined the set $\omega$ as minimal with respect to the inclusion "$\in$" in relation to all inductive sets. The following corollary states that $\omega$ is also minimal, if we look at that relation of being the subset $\subseteq$ of inductive sets:# Corollary: Minimal Inductive Set Is Subset Of All Inductive Sets

(related to Axiom: Axiom of Infinity)

The minimal inductive set $\omega$ is a subset of all inductive sets, formally: $$\forall W(W\text{ is inductive }\Rightarrow \omega\subseteq W).$$

Table of Contents

Proofs: 1

Mentioned in:

Explanations: 1

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011
2. Ebbinghaus, H.-D.: "Einführung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition