4 ms·The point is that it’s like mathematics in set theory. Type theory is an alternative foundation.by AnHonestComment 6y agoThe point is that it’s like mathematics in set theory. Type theory is an alternative foundation.