Atribuyeron la paradoja a la "circularidad viciosa" y desarrollaron lo que denominaron teoría de tipos ramificados para resolverla.