Typentheorie

Word details

German meaning

Ein mathematisches System zur Vermeidung von logischen Paradoxien, insbesondere in der Mengenlehre und Logik.

English meaning

Type theory

Synonym

Typtheorie, Typsystem

German example

Die Typentheorie wird verwendet, um Widersprüche in formalen Systemen zu vermeiden.

English example

Type theory is used to avoid contradictions in formal systems.

Type

Noun

Article

die

Singular Form

die Typentheorie

Plural Form

die Typentheorien