Definicje „axiomatisieren“ w Słownik ortografii niemieckiej

axi·o·ma̱·ti·si̱e̱·ren CZ. z dop.

Przykłady z Internetu (niezredagowane i niesprawdzone przez PONS)

niemiecki

Mathematische Theorien werden in der Regel als Elementare Sprache (auch: Sprache erster Stufe mit Symbolmenge) im Rahmen der Prädikatenlogik erster Stufe axiomatisiert.

de.wikipedia.org

Fragestellung: Wie kann die Physik axiomatisiert werden?

de.wikipedia.org

Man sagt, eine -elementare Klasse, die durch eine Aussagenmenge gegeben ist, sei durch axiomatisiert, und die einzelnen Sätze in heißen die Axiome der Klasse.

de.wikipedia.org

Jene Klassen bilden einen Spezialfall der in der klassischen Modelltheorie untersuchten elementaren Klassen von Strukturen, die durch Formeln der Prädikatenlogik erster Stufe axiomatisiert sind.

de.wikipedia.org

Die seither bei weitem verbreitetste Lösung besteht darin, in axiomatisierten Mengenlehren eine beschränkte Variante eines Komprehensions- bzw. Aussonderungsaxioms (engl.

de.wikipedia.org

In siebzehn Paragrafen (Wirtschaft und Gesellschaft) werden weitere soziologische Begriffe entwickelt und axiomatisiert.

de.wikipedia.org

Es gibt verschiedene Ansätze, die traditionelle Syllogistik zu axiomatisieren bzw. auf eindeutigen Regeln aufzubauen.

de.wikipedia.org

Im Falle des endlich axiomatisierten Systems genügt es sogar, zu überprüfen, ob die Zahl zur Gödelnummer einer der sieben Axiome gleich ist.

de.wikipedia.org

Er beschäftigte sich mit der Kontinuumshypothese und der Frage, ob sich die Arithmetik (die Theorie der natürlichen Zahlen) vollständig und widerspruchsfrei axiomatisieren lasse.

de.wikipedia.org

Dieser Begriff axiomatisiert und verallgemeinert Räume negativer Krümmung und hat sich in vielen Bereichen der Mathematik als nützlich erwiesen.

de.wikipedia.org