The Ordered Pair Theorem (Set Theory Proof)

A proof that for our formulation of ordered pairs, order does matter, i.e. ⟨a,b⟩ does not equal ⟨b,a⟩.

This series covers the basics of set theory and higher order logic. In this month we are looking at the Operations and Relations of Sets. This month includes unions, intersections, differences, power sets, Cartesian products, functions, ordered pairs and more! We are also looking at the fifth and sixth axioms of a basic universe, following Neumann Berneays Gödel (NBG) set theory. In the next month we will look at Peano Arithmetic. (#SetTheory #Logic)

Sponsors: Joshua Furman, Joshua Opell, NBA_Ruby, Eugene SY, Antoinemp1, Antibody, Ismail Fagundes, Adrien Ecoffet, Tom Amedro, Christopher McGevna, Joao Sa, and Dennis Sexton. Thanks for your support!

Donate on Patreon: https://www.patreon.com/Carneades

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

Follow us on Twitter: @CarneadesCyrene https://twitter.com/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 and more!

Видео The Ordered Pair Theorem (Set Theory Proof) канала Carneades.org