Examples of using "Tyyppiteorian" in a sentence and their english translations:
Mathematics is just a subset of type theory.