par Esser, Olivier
;Forster, T.
Référence Bulletin de la Société mathématique de Belgique. Série A, 14, page (247-258)
Publication Publié, 2007

Référence Bulletin de la Société mathématique de Belgique. Série A, 14, page (247-258)
Publication Publié, 2007
Article révisé par les pairs
Résumé : | A number of ways of relaxing the stratification constraint for the axioms of Quine's NF are reviewed. It is shown how most of them result in inconsistency. |