10 ms·
You're looking for Grue's map theory for formalizing sets in terms of functions.
by jove_ 1y ago
You're looking for Grue's map theory for formalizing sets in terms of functions.
- ahf8Aithaex7Nai 1y agoThanks! It seems that in the metatheory, one can resort to type theory in order to avoid having to fall back on set theory in a circular manner. Unfortunately, I don't know anything about that, but I'll take a closer look at it.