Editing Universal set (section)

== References ==
*{{cite book
 | last1 = Cenzer | first1 = Douglas
 | last2 = Larson | first2 = Jean
 | last3 = Porter | first3 = Christopher
 | last4 = Zapletal | first4 = Jindrich
 | doi = 10.1142/11324
 | page = 2
 | publisher = World Scientific
 | title = Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic
 | year = 2020| isbn = 978-981-12-0192-9
 | s2cid = 208131473
 }}
*{{cite conference
 | last = Church | first = Alonzo
 | contribution = Set theory with a universal set
 | mr = 0369069
 | pages = 297–308
 | publisher = American Mathematical Society | location = Providence, Rhode Island
 | series = Proceedings of Symposia in Pure Mathematics
 | title = Proceedings of the Tarski Symposium: An international symposium held at the University of California, Berkeley, June 23–30, 1971, to honor Alfred Tarski on the occasion of his seventieth birthday
 | volume = 25
 | year = 1974}}
*{{cite book
 | last = Forster | first = T. E.
 | isbn = 0-19-851477-8
 | publisher = Oxford University Press
 | series = Oxford Logic Guides
 | title = Set Theory with a Universal Set: Exploring an Untyped Universe
 | volume = 31
 | year = 1995}}
*{{cite book
 | last = Forster | first = Thomas
 | editor1-last = Anderson | editor1-first = C. Anthony
 | editor2-last = Zelëny | editor2-first = Michael
 | contribution = Church's set theory with a universal set
 | contribution-url = http://www.dpmms.cam.ac.uk/~tf/church2001.ps
 | location = Dordrecht
 | mr = 2067968
 | pages = 109–138
 | publisher = Kluwer Academic Publishers
 | series = Synthese Library
 | title = Logic, Meaning and Computation: Essays in Memory of Alonzo Church
 | volume = 305
 | year = 2001}}
*{{cite book
 | last = Holmes | first = M. Randall
 | isbn = 2-87209-488-1
 | mr = 1759289
 | publisher = Université Catholique de Louvain, Département de Philosophie, Louvain-la-Neuve
 | series = Cahiers du Centre de Logique [Reports of the Center of Logic]
 | title = Elementary set theory with a universal set
 | volume = 10
 | year = 1998}}
*{{cite encyclopedia
 | last1 = Irvine | first1 = Andrew David
 | last2 = Deutsch | first2 = Harry
 | editor-last = Zalta | editor-first = Edward N.
 | title = Russell's Paradox
 | url = https://plato.stanford.edu/archives/spr2021/entries/russell-paradox/
 | date = Spring 2021
 | encyclopedia = The Stanford Encyclopedia of Philosophy}} 
*{{cite book
 | last = Oberschelp
 | first = Arnold
 | author-link = Arnold Oberschelp
 | mr = 319758
 | publisher = Instytut Matematyczny Polskiej Akademii Nauk
 | series = Dissertationes Mathematicae (Rozprawy Matematyczne)
 | title = Set theory over classes
 | url = https://eudml.org/doc/268623
 | volume = 106
 | year = 1973
 }}
* [[Willard Van Orman Quine]] (1937) "New Foundations for Mathematical Logic," ''American Mathematical Monthly'' 44, pp.&nbsp;70–80.
* {{cite journal
 | last = Sheridan | first = Flash
 | issue = 233
 | journal = Logique et Analyse
 | jstor = 26767819
 | mr = 3524800
 | pages = 81–131
 | title = A variant of Church's set theory with a universal set in which the singleton function is a set
 | url = http://cahiersdelogique.be/Publications/Bibliotheque/SheridanVariantChurch.pdf
 | volume = 59
 | year = 2016}}