axi·o·ma̱·ti·si̱e̱·ren ГЛ. с дополн.
PONS OpenDictДобавить статью
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
No example sentences available
Try a different entry
Одноязычные примеры (не проверены редакцией PONS)
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