Let ZC - I (respectively, ZF - Ί ) be the theory obtained by deleting the axiom of infinity from the usual list of axioms for Zermelo set theory with choice (respectively, the usual list of axioms for Zermelo-Fraenkel set theory). In this note, we present a collection of sentences φ() for which (ZC - Ί) + φ() (respectively, (ZF - Ί)+φ()) proves the existence of an infinite set.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.