2026-09-22 20:18 UTC
@zwarich@hachyderm.io Wait, did I accidentally make myself cool by working in IZF? (It totally wasn't on purpose, I chose IZF because.... well historical accident sort of but basically IZF seemed like, uh, something I could get my head around I guess).
Replies (1)
-
@zwarich@hachyderm.io 2026-09-22 20:52
@soaproot@sfba.social There are two cursed variants of IZF that show up around these problems: IZF w/ Replacement instead of Collection, and negative IZF (IZF w/ Separation for double negated formulas and Power Set for elements with stable membership).