It states that for any non-trivial property, there is no general decision procedure that, for all programs, decides whether the partial function implemented by the input program has that property.
Δηλώνει ότι για κάθε μη τετριμμένη ιδιότητα δεν υπάρχει μια γενική διαδικασία, η οποία, για όλα τα προγράμματα, να αποφασίζει αν η μερική συνάρτηση εφαρμοσμένη από το πρόγραμμα εισόδου έχει αυτήν την ιδιότητα.