Mientras que Lang es conocido por su rigor clásico y su capacidad de síntesis en distintas áreas de las matemáticas, Bishop desafía las bases mismas de ese rigor al proponer una matemática constructiva. La conexión aquí es la de rigor metamatemático, donde uno opera bajo las reglas aceptadas de su época y el otro reescribe esas reglas para explorar qué es posible conocer de otra manera.























