Axiom of Regularity (Foundation) vs. Induction
Channel: Nikolaj-K
Date: 2022-09-13

Previous video on regularity: https://youtu.be/AqjctCRGxhw
Errata: In 56:27 I say Regularity, but I meant to say Replacement.
Text and links:
https://gist.github.com/Nikolaj-K/bc9f67d685bcc7d1300372cfabceed9b