Yes. You can start learning on Learnr for free. Learnr Pro unlocks higher daily limits and extra features.

Learn Set Theory

The language every branch of modern math is written in.

Free to start. Built from a single prompt. No credit card.

Set theory is the study of collections of objects and the foundation on which most modern math is built. A first course covers notation, subsets, unions, intersections, complements and Venn diagrams, then moves to Cartesian products, relations, functions and equivalence classes. The surprising part comes with infinity: there are as many even numbers as whole numbers, but more real numbers than either, as Cantor's diagonal argument shows. Paradoxes like Russell's led to the axioms called ZFC. Learnr builds a set theory course at the depth you want and teaches it through short interactive lessons with quick checks on notation and proofs.

How to learn Set Theory, step by step

Get the notation exactly right. Learn the difference between "is an element of" and "is a subset of", and why the empty set is a subset of every set but not an element of every set. Precision here prevents later confusion.
Prove identities by chasing elements. To show A intersect (B union C) equals (A intersect B) union (A intersect C), take an arbitrary element of one side and show it lies in the other, then reverse. Venn diagrams help you guess, not prove.
Count power sets and products. Verify by listing that a 3-element set has 8 subsets, matching 2 to the power 3, and that A cross B has as many pairs as the product of the two sizes.
Study functions as sets of pairs. Define injective, surjective and bijective, then build explicit bijections, such as n to 2n between the natural numbers and the even numbers, to show two infinite sets have the same size.
Work through Cantor's diagonal argument. Assume the reals between 0 and 1 can be listed, build a number that differs from the nth entry in its nth digit, and see why the list must be incomplete. Rewrite the proof in your own words.
Review definitions in short daily sessions. Set theory is vocabulary-heavy. Brief daily Learnr lessons, kept up with a streak, keep terms like surjection and equivalence class sharp while you tackle proofs.

What you'll learn

Read and write set-builder notation fluently
Prove set identities using element-chasing arguments
Work with relations, functions, bijections and equivalence classes
Compare the sizes of infinite sets using bijections
Explain Cantor's diagonal argument and Russell's paradox

What's inside your Set Theory course

A sample path Learnr builds for Set Theory. Your real course adapts to your goal and level.

1. Sets, elements, subsets and notation
2. Set operations, Venn diagrams and identities
3. Power sets, Cartesian products and relations
4. Functions, injections, surjections and bijections
5. Countable and uncountable infinity
6. Paradoxes and the axioms of ZFC

How long does it take to learn Set Theory?

The naive set theory used across math, from notation to countability, takes about 4 to 8 weeks at 3 to 5 hours a week. Axiomatic set theory with ordinals, cardinals and the axiom of choice is a graduate-level study of several months.

What you need before you start

High school algebra and some exposure to logic or proofs. Nothing advanced is required to start; set theory is often the first topic of a proofs or discrete math course.

Common mistakes to avoid

Confusing the element symbol with the subset symbol, so {1} is written as an element of {1, 2} when it is actually a subset.
Believing all infinite sets are the same size. The rationals are countable, but the real numbers are strictly bigger.
Treating a Venn diagram as a proof. It is useful for intuition, but a proof must argue about an arbitrary element.

How Learnr builds your course

Type your topic

Tell Learnr you want to learn Set Theory, or get as specific as you like.

Get a personalized course

Learnr instantly builds a full Set Theory course tailored to your goal and skill level.

Learn and level up

Move through bite-sized lessons and interactive practice, earning XP and keeping your streak.

Set Theory questions, answered

What is Russell's paradox?

Consider the set of all sets that do not contain themselves. If it contains itself, it should not, and if it does not, it should. The paradox showed that sets cannot be formed from any property at all, which led to axiom systems like ZFC.

Do I need set theory for other math?

Its basic language, meaning sets, functions, relations and countability, is used in nearly every upper-level course. The deep axiomatic theory is a specialty most mathematicians never need.