That depends on who you ask.

Type theory can also be an independent synthetic foundation atop which you build mathematics.