Wskaż twierdzenia przedstawiające elementy teorii typów.

Teoria typów pozwala uniknąć antynomii zbioru wszystkich zbiorów.{#tak}{nie}
Teoria typów jest związana z jednym zbiorem liczb naturalnych.{tak}{#nie}
Ceną stosowania teorii typów jest komplikacja dotycząca zbioru liczb naturalnych. {#tak}{nie}
Teoria typów unika paradoksów separowania różnych typów. {#tak}{nie}
Teoria typów nie pozwala na definiowanie tego samego obiektu matematycznego na różnych poziomach.{tak}{#nie}
Teoria typów jest bardzo przydatna w matematyce.{tak}{#nie}