from this undecidability theorem it immediately follows that there is no complete predicate that can discriminate between terms that have a normal form and terms that do not have a normal form. it also follows that there is no complete predicate, say equal, such that: