Can the Peano axioms meet Zermelo-Fraenkel set theory with the axiom of choice?

MaRDI QIDQ3173841zbMATH OpenFDO

Authors Koji Nagata, Tadao Nakamura

Publication date 10 October 2011

zbMATH Keywords

number theoryaxiomatic set theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Axiom of choice and related propositions (03E25) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Does singleton set meet Zermelo-Fraenkel set theory with the axiom of choice?
• From Dedekind to Zermelo versus Peano to Gödel
• scientific article; zbMATH DE number 1159893
• scientific article; zbMATH DE number 1256298
• scientific article; zbMATH DE number 176021

Cited in

(2)

• Does singleton set meet Zermelo-Fraenkel set theory with the axiom of choice?
• What is the theory ZFC without power set?

This page was built for publication: Can the Peano axioms meet Zermelo-Fraenkel set theory with the axiom of choice?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3173841)