Comment by nathias

the empirical modern mathematics are build on set theory, type and category theory are just other possible foundations