Is {∅} the Universal Class? (Axiomatic Set Theory)

Описание: This video shows that with only Axioms 1, 2, and 3, of Neumann Berneays Gödel {∅} could be the universal class.

This series covers the basics of set theory and higher order logic. In this month we are looking at the properties of sets and classes, including transitive sets, swelled sets, supercomplete sets, ordinary sets, proper subsets, null sets, empty sets, universal sets, and void sets. We are also looking at the first four axioms of a basic universe, following Neumann Berneays Gödel (NBG) set theory. In the next month we will look at relationships between sets.

Sponsors: João Costa Neto, Dakota Jones, Thorin Isaiah Malmgren, Prince Otchere, Mike Samuel, Daniel Helland, Mohammad Azmi Banibaker, Dennis Sexton, kdkdk, Yu Saburi, Mauricino Andrade, Diéssica, Will Roberts, Greg Gauthier, Christian Bay, Joao Sa, Richard Seaton, Edward Jacobson, isenshi, and √2. Thanks for your support!

Donate on Patreon:   / carneades  

Buy stuff with Zazzle: http://www.zazzle.com/carneades

Follow us on Twitter: @CarneadesCyrene   / carneadescyrene  

Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy, Set Theory and the Continuum Problem by Smullyan and Fitting, Set Theory The Structure of Arithmetic by Hamilton and Landin, and more! (#SetTheory)