par Esser, Olivier
Référence The Journal of symbolic logic, 65, 4, page (1911-1916)
Publication Publié, 2000-12
Article révisé par les pairs
Résumé : 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 GPK+∞.