🧵 Untitled Thread
Anonymous at Tue, 26 Nov 2024 16:31:12 UTC No. 16494186
How about another joke, Fraenkel?
>a busy beaver Turing machine with 636 states will halt if ZFC is inconsistent
https://github.com/CatsAreFluffy/me
Anonymous at Tue, 26 Nov 2024 16:45:22 UTC No. 16494208
>>16494186
can anyone actually sum ZFC up in 200 words? without just calling it an extension
Anonymous at Wed, 27 Nov 2024 13:40:53 UTC No. 16495084
Is zfc fake and gay