Die axiomatische Methode des Euklid ist gekennzeichnet durch eine strenge, nahezu formale Sprache und die Verwendung einer kleinen Anzahl immer wiederkehrender Beweisprinzipien.
Die Mathematische Logik lehrt die formale , axiomatische Methode und untersucht ihre Möglichkeiten und Grenzen .
Die Mathematik verfügt über eine prinzipiell vollkommen präzise Formelsprache, um Rechenterme und ihre Relationen sowie logische Abhängigkeiten zwischen Relationen auszudrücken.
www.math.uni-bonn.deThe Euclidean method is characterised by its austere, nearly formal language and by the small number of recurring proof principles.
Mathematical logic teaches the formal, axiomatic method and researches its scope and bounds.
The formula language of mathematics is in principle absolutely precise, describing computational terms, their relations, and logical dependencies between relations.
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.