3 ms·Type theory and Set theory. For example.by jnash 4y agoType theory and Set theory. For example.Koshkin 4y agoType theory, maybe; set theory, no.