A⋂∅=∅ Proof Speedrun (ZFC Set Theory) #maths #proof #settheory #mathematics #math

Added: 2026-05-23

[00:00:00]Well, if we simplify the intersection of A with the empty set, this is just the set of X such that X is in A and X is in the empty set, right? But now here's the thing, X is in the empty set, this is always false. So, whatever this is, something and false simplifies to false, okay? So, the set of X for which false is true is the empty set cuz there's no X that could make that true.

[00:00:30]So, that's our first theorem.