This result showed that there is no algorithmic procedure that can correctly decide whether arbitrary mathematical propositions are true or false.
Το αποτέλεσμα έδειξε ότι δεν υπάρχει αλγοριθμική διαδικασία που μπορεί σωστά να αποφασίσει αν κάποια αυθαίρετη μαθηματική πρόταση είναι αληθής ή ψευδής.