Timeline for Russell's paradox as understood by current set theorists
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 2, 2023 at 18:44 | comment | added | Kristian Berry | @bof apologies, I am still a novice when it comes to a lot of the relevant notation. I've seen phrases like "prenex normal form" and all, but I have a hard time tracking when these things come into play (or why they're in play at all). | |
| Mar 29, 2023 at 20:43 | history | edited | LSpice | CC BY-SA 4.0 |
Some TeX -> all TeX
|
| Mar 29, 2023 at 18:59 | comment | added | bof | In the first paragraph don't you have the quantifiers the wrong way round? Shouldn't $\forall a\exists X$ be $\exists X\forall a$? | |
| Mar 29, 2023 at 18:13 | history | answered | Kristian Berry | CC BY-SA 4.0 |