This result showed that there is no algorithmic procedure that can correctly decide whether arbitrary mathematical propositions are true or false.
Acest rezultat a arătat că nu există nicio procedură algoritmică care să poată decide în mod corect dacă unele propoziții matematice arbitrare sunt adevărate sau false.