This result showed that there is no algorithmic procedure that can correctly decide whether arbitrary mathematical propositions are true or false.
В цьому результаті було показано, що не існує алгоритмічної процедури яка б могла коректно розв'язати чи є довільні математичні припущення вірними чи ні.