@article{1183738320, author = {Davis, James D.}, title = {The Inconsistency of a Certain Axiom System for Set Theory}, journal = {J. Symbolic Logic}, volume = {37}, number = {1}, year = {1972}, pages = { 538-542}, language = {en}, url = {http://dml.mathdoc.fr/item/1183738320} }
Davis, James D. The Inconsistency of a Certain Axiom System for Set Theory. J. Symbolic Logic, Tome 37 (1972) no. 1, pp. 538-542. http://gdmltest.u-ga.fr/item/1183738320/