El interés de Hermann Weyl en la lógica intuicionista y en la impredicabilidad, por ejemplo, parece provenir del contacto con Husserl.