Typenlogik

==> Semantik, formale

<== Parsing natürlicher Sprache

<== Datentyp

==> Russells Paradox