typ

Logika, skupina a charakteristika zařazující objekty nebo vlastnosti do určitého řádu. Individua náleží do nejnižšího typu, funkce, jejíž argumenty jsou individua patřící do typu o jeden řád vyššího. Obecně: funkce, jejíž argumenty jsou předměty patřící do typu nejvýše n-řádu, patří do typu (n + 1) řádu. Další kritéria pro rozlišení typu se vztahují na funkce s volnými a vázanými proměnnými. Teorie typu na základě hierarchizace typů zavádí určitá omezení při tvoření výrazů, čímž odstraňuje z logiky a teorie množin paradoxy.