Systems of set theory

Zermelo set theory

Zermelo set theory (sometimes denoted by Z-), as set out in a seminal paper in 1908 by Ernst Zermelo, is the ancestor of modern Zermelo–Fraenkel set theory (ZF) and its extensions, such as von Neumann–Bernays–Gödel set theory (NBG). It bears certain differences from its descendants, which are not always understood, and are frequently misquoted. This article sets out the original axioms, with the original text (translated into English) and original numbering. (Wikipedia).

Video thumbnail

Set Theory (Part 2): ZFC Axioms

Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their

From playlist Set Theory by Mathoma

Video thumbnail

Zermelo Fraenkel Choice

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We dicuss the axiom of chice, and sketch why it is independent of the other axioms of set theory. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj52EKVgPi-p50f

From playlist Zermelo Fraenkel axioms

Video thumbnail

Zermelo Fraenkel Introduction

This lecture is part of an online course on the Zermelo Fraenkel axioms of set theory. This lecture gives an overview of the axioms, describes the von Neumann hierarchy, and sketches several approaches to interpreting the axioms (Platonism, von Neumann hierarchy, multiverse, formalism, pra

From playlist Zermelo Fraenkel axioms

Video thumbnail

Zermelo Fraenkel Separation and replacement

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We discuss the axioms of separation and replacement and some of their variations. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj52EKVgPi-p50fRP2_SbG2oi

From playlist Zermelo Fraenkel axioms

Video thumbnail

Zermelo Fraenkel Pairing and union

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We discuss the axioms of pairing and union, the two easiest axioms of ZFC, and consider whether they are really needed. For the other lectures in the course see https://www.youtube.com/playlist?list=PL

From playlist Zermelo Fraenkel axioms

Video thumbnail

The Big (mathematical) Bang | Axiomatic Set Theory, Section 0

The introductory video for a course on the axiomatic theory of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) Russel's Paradox: (2:13)

From playlist Axiomatic Set Theory

Video thumbnail

The perfect number of axioms | Axiomatic Set Theory, Section 1.1

In this video we introduce 6 of the axioms of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) The Axiom of Existence: (2:39) The Axiom of Extensionality: (4:20) The Axiom Schema of Comprehension: (6:15) The Axiom of Pair (12:16) The Axiom of Union (15:15) T

From playlist Axiomatic Set Theory

Video thumbnail

Zermelo Fraenkel Powerset

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We discuss the powerset axiom, the strongest of the ZF axioms, and explain why the notion of a powerset is so hard to pin down precisely. For the other lectures in the course see https://www.youtube.com

From playlist Zermelo Fraenkel axioms

Video thumbnail

Zermelo Fraenkel Extensionality

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. In this lecture we discuss the axiom of extensionality, which says that two sets are equal if they have the same elements. For the other lectures in the course see https://www.youtube.com/playlist?list

From playlist Zermelo Fraenkel axioms

Video thumbnail

How ISPs Violate the Laws of Mathematics

Get a free trial of Audible at https://audible.com/minutephysics or by texting 'minutephysics' to 500500 Support MinutePhysics on Patreon! http://www.patreon.com/minutephysics Link to Patreon Supporters: http://www.minutephysics.com/supporters/ MinutePhysics is on twitter - @minutephysic

From playlist MinutePhysics

Video thumbnail

Zermelo Fraenkel Foundation

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We discuss the axiom of foundation, which says that the membership relation is well founded, and give some examples of the bizarre things that can happen if sets are allowed to be non-well-founded. For

From playlist Zermelo Fraenkel axioms

Video thumbnail

Zermelo Fraenkel Infinity

This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We discuss the axiom of infinity, and give some examples of models where it does not hold. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj52EKVgPi-p50fRP2_SbG

From playlist Zermelo Fraenkel axioms

Video thumbnail

Topology Without Tears - Video 2b - Infinite Set Theory

This is part (b) of Video 2, the second in a series of videos supplementing the online book "Topology Without Tears" which is available at no cost from www.topologywithouttears.net

From playlist Topology Without Tears

Video thumbnail

Topology Without Tears - Video 2c - Infinite Set Theory

This is the final part, part (c), of Video 2 in a series of videos supplementing the online book "Topology Without Tears" which is available at no cost at www.topologywithouttears.net

From playlist Topology Without Tears

Related pages

Richard Dedekind | Axiom of pairing | S (set theory) | Axiom of infinity | Axiom of extensionality | Axiom schema | Well-formed formula | Propositional function | Ordinal number | Zermelo–Fraenkel set theory | John von Neumann | Axiom of power set | Axiom of regularity | Natural number | Second-order logic | Cantor's theorem | Axiom of union | Axiom | Thoralf Skolem | Russell's paradox | Von Neumann universe | Power set | Von Neumann–Bernays–Gödel set theory