Translation of "completeness theorem" into German

Both are developed on the basis of the consistency and completeness theorem for the underlying formal system rather than Herbrand's theorem.

Beide Verfahren stützen sich auf den Konsistenz- und Vollständigkeitssatz des zugrundeliegenden formalen Systems und nicht, wie üblich, auf den Herbrand-Satz.