An axiom schema of comprehension of zermelo–fraenkel–skolem set theory

DOI10.1080/01445349008837157zbMath0688.03003OpenAlexW2033976513WikidataQ58354558 ScholiaQ58354558MaRDI QIDQ4206704

Johannes Heidema

Publication date: 1990

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349008837157

zbMATH Keywords

antinomiesacceptable instances of the Axiom of ComprehensionZFS

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An axiom schema of comprehension of zermelo–fraenkel–skolem set theory