3 ms·
Of course types can be modelled by sets, just not in the straight forward way you might envision. After all, if you cannot model it in ZFC, how do you prove cor
by auggierose 5y ago
Of course types can be modelled by sets, just not in the straight forward way you might envision. After all, if you cannot model it in ZFC, how do you prove correctness of your type system?