No CrossRef data available.
Article contents
Inconsistency of the Axiom of Choice with the positive theory
Published online by Cambridge University Press: 12 March 2014
Abstract
The idea of the positive theory is to avoid the Russell's paradox by postulating an axiom scheme of comprehension for formulas without “too much” negations. In this paper, we show that the axiom of choice is inconsistent with the positive theory .
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2000