This result showed that there is no algorithmic procedure that can correctly decide whether arbitrary mathematical propositions are true or false.
Резултат је показао да тамо нема алгоритамских процедура које могу правилно одлучити да ли су произвољни математички искази истинити или лажни.