# intuitionistic type theory

> alternative foundation of mathematics

**Wikidata**: [Q6059147](https://www.wikidata.org/wiki/Q6059147)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Intuitionistic_type_theory)  
**Source**: https://4ort.xyz/entity/intuitionistic-type-theory