Dies ist die Aussage des Gödelschen Vollständigkeitssatzes, der der Fundamentalsatz der Mathematischen Logik ist.
Bemerkenswert ist, dass der Gödelsche Vollständigkeitssatz selbst ein mathematisches Theorem ist, das die syntaktischen, nahezu algebraischen Operationen mit Zeichenketten und die Gesamtheit mathematischer Strukturen in Verbindung bringt.
Mathematische Logik ist also sowohl die Logik der Mathematik wie auch die Mathematik der Logik.
www.math.uni-bonn.deThis result is the Gödel completeness theorem which can be viewed as the fundamental theorem of mathematical logic.
It is remarkable that the Gödel completeness theorem is itself a mathematical theorem which connects syntactical, nearly algebraic operations on symbol sequences with the class of all mathematical structures.
Mathematical logic is the logic of mathematics as well as the mathematics of logic.
www.math.uni-bonn.deAqui pode apontar um erro nesta entrada PONS ou propor uma correção:
Como é que posso transferir as traduções para o Treinador de Vocábulos?
Por favor, preste atenção ao facto de que os vocábulos na Lista de Vocábulos só estão disponíveis neste browser. Assim que os vocábulos forem recolhidos no Treinador de Vocábulos, eles estarão disponíveis em todo o lado.