Welcome guest
You're not logged in.
337 users online, thereof 0 logged in

While the existence of inductive sets is ensured by the axiom of infinity”:https://www.bookofproofs.org/branches/axiom-of-infinity/, there is one particular inductive set worth a closer look – the minimal inductive set. We can use the axiom of separation, to define it uniquely:

## Definition: Minimal Inductive Set

The set $\omega:=\{W\mid \forall X(X\text{ is an inductive set }\Rightarrow W\in X)\}$ is the minimal set, which fulfills the axiom of infinity. It is called the minimal inductive set.

| | | | | created: 2019-01-18 20:04:37 | modified: 2019-01-18 20:10:26 | by: bookofproofs | references: [656], [983]