scientific article

zbMath0623.03048MaRDI QIDQ3760537

Martin W. Bunder

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inconsistencyunrestricted comprehension axiom

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70)

Related Items

Natural deduction and Curry's paradox, Routes to triviality, Variations on a theme of Curry