Teoria della logica che ha come oggetto le capacità dimostrative dei sistemi formali con lo sviluppo dell'assiomatica e delle ricerche sui fondamenti della matematica (DIS)