Estas eran evitadas en los "Principia" construyendo una elaborada teoría de tipos.