En "The Continuum" Weyl desarrolló el análisis predicativo usando los niveles bajos de la teoría ramificada de tipos de Russell.