Alternative axiom scheme for ZF(C)

[Mario Carneiro]

That axiom is equivalent to

forall y exists x (y in x)

from which one can derive the existence of singletons (via the subset
axiom) and not much else. Considering that singletons are usually derived
from the axiom of pairing, I don't think it will eliminate any normal ZFC
axioms.

Mario Carneiro

On Fri, Aug 27, 2021 at 11:26 AM JOSEPH SHIPMAN <joeshipman at aol.com> wrote:

> Consider the set induction scheme:
>
> (Forall x Forall y (y in x implies Phi(y))) implies (Forall z Phi(z))
>
> With this included, which other axioms of ZFC may be dispensed with?
>
> — JS
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210827/4e8cc739/attachment.html>