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

DOI10.1080/01445349008837157zbMath0688.03003WikidataQ58354558 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

antinomies; acceptable instances of the Axiom of Comprehension; ZFS

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03B30: Foundations of classical theories (including reverse mathematics)

03E30: Axiomatics of classical set theory and its fragments

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item