We have a little theorem which is a direct attack on Russell's paradox.

---

Support this podcast: https://anchor.fm/mathematical-basis-for-re/support