Übersetzung von „completeness theorem“ aus dem Englisch ins Deutsch

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.