Show us the money. Which is to say, what this stuff actually is. With axioms if necessary.
Otherwise I’m reduced to asking dumb questions like “why do we need this when UDT is probably better?”
Show us the money. Which is to say, what this stuff actually is. With axioms if necessary.
Otherwise I’m reduced to asking dumb questions like “why do we need this when UDT is probably better?”