A theory of sets with the negation of the axiom of infinity

Mathematical Logic Quarterly 39 (1):338-352 (1993)


In this paper we introduce a theory of finite sets FST with a strong negation of the axiom of infinity asserting that every set is provably bijective with a natural number. We study in detail the role of the axioms of Power Set, Choice, Regularity in FST, pointing out the relative dependences or independences among them. FST is shown to be provably equivalent to a fragment of Alternative Set Theory. Furthermore, the introduction of FST is motivated in view of a non-standard development. MSC: 03E30, 03E35

Download options


    Upload a copy of this work     Papers currently archived: 72,879

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

42 (#274,355)

6 months
1 (#386,016)

Historical graph of downloads
How can I increase my downloads?

References found in this work

A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.
Models of Zf-Set Theory.Ulrich Felgner - 1971 - New York: Springer Verlag.

View all 6 references / Add more references

Citations of this work

On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
Hilbert Arithmetic as a Pythagorean Arithmetic: Arithmetic as Transcendental.Vasil Penchev - 2021 - Philosophy of Science eJournal (Elsevier: SSRN) 14 (54):1-24.
The Paradox of Classical Reasoning.Arkady Bolotin - 2022 - Foundations of Physics 52 (4):1-21.

Add more citations

Similar books and articles