Skip to main content
3 of 12
deleted 1 character in body
Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47

Possibly something like Separation by $\neg S$, that is:

$\forall a \exists x \forall y (y \in x \leftrightarrow y \in a \land \neg Sy)$.

The idea is that if we define natural as: well founded transitive set of transitive sets, that when nonempty then it must have a predecessor, and such that every nonempty element of it must have a predecessor, then this separation would prevent having a natural that fulfills $\neg S$, since otherwise any such a natural $n$ would have a nonempty subset of it that is the set of all of its elements that fulfill $\neg S$, but that set wont have a minimal, thus $n$ won't be well founded which contradicts $n$ being a natural. So this theory would prove that any natural fulfills $S$, therefore the existence of the set of all naturals, which is an inductive set!.

However, I do suspect some kind of inconsistency lurking here or there!

Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47