Además de indagar en la noción de consistencia de las teorías formales, ha analizado también el papel de la consistencia como idea reguladora del progreso de la ciencia empírica.