De mängdteoretiska paradoxerna (se mängdteori, Axiomatisk mängdlära) ledde Bertrand Russell till tanken att en mängd måste vara av en bestämd typ. I den typteori som bär hans namn inskränktes mängdteorins abstraktionsprincip så att endast objekt av samma typ kan sammanföras till en ny mängd och då av högre typ. På