Elimination of extra-logical postulates. (Q2589530)

Verf. betrachten Systeme, die außer dem Mechanismus der Logik gewisse außerlogische Konstante und zugehörige Axiome enthalten. Unter Umständen lassen sich dann die vorkommenden Konstanten so mit Hilfe von anderen, neu einzuführenden Konstanten der gleichen Art definieren, daß die ersten die gleiche inhaltliche Bedeutung wie vorher haben, während die zugehörigen Axiome jetzt in logische Identitäten übergehen, ohne daß für die neuen Konstanten Axiome erforderlich sind. Als Bedingung für die Ausführbarkeit dieser Elimination der Axiome wird die Existenz eines logischen Modells für das Axiomensystem gefunden.