zbMath1123.03046MaRDI QIDQ2381137
Olivier Esser, Thomas Forster
Publication date: 25 September 2007 Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)
zbMATH Keywords
inconsistencyQuine's NF
Mathematics Subject Classification ID
Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)