Se ha centrado en dilucidar la relación entre “a demuestra/prueba que p”– y examina algunas características de los predicados “φ es una fórmula verdadera” y “φ es una fórmula demostrable”.