2 ms·
Can't current math be be built equally well on set theory, type theory, or category theory? Coq, Agda, and Lean use Type Theory.
by UltraSane 2y ago
Can't current math be be built equally well on set theory, type theory, or category theory?
Coq, Agda, and Lean use Type Theory.
- sylware 2y agoAs far as I can recall set theory axioms are really basic, dunno if the type theory axioms are really basic too.