A negation-free proof of Cantor's theorem

DOI10.1305/ndjfl/1117755152zbMath1082.03046OpenAlexW2004983205MaRDI QIDQ2565993

Yanyan Li

Publication date: 28 September 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1117755152

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other classical set theory (including functions, relations, and set algebra) (03E20) Complexity of proofs (03F20)

Cites Work

• Truth and reflection
• Paradox without Self-Reference
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

This page was built for publication: A negation-free proof of Cantor's theorem