-
1 Axiomensystem
(n)система аксиом -
2 endliches Axiomensystem
конечная система аксиомНемецко-русский математический словарь > endliches Axiomensystem
-
3 formales Axiomensystem
формальная система аксиомНемецко-русский математический словарь > formales Axiomensystem
-
4 kategorisches Axiomensystem
категорическая система аксиомНемецко-русский математический словарь > kategorisches Axiomensystem
-
5 minimales Axiomensystem
минимальная система аксиомНемецко-русский математический словарь > minimales Axiomensystem
-
6 unabhängiges Axiomensystem
система независимых аксиомНемецко-русский математический словарь > unabhängiges Axiomensystem
-
7 unvollständiges Axiomensystem
неполная система аксиомНемецко-русский математический словарь > unvollständiges Axiomensystem
-
8 vollständiges Axiomensystem
полная система аксиомНемецко-русский математический словарь > vollständiges Axiomensystem
-
9 widerspruchsfreies Axiomensystem
непротиворечивая система аксиомНемецко-русский математический словарь > widerspruchsfreies Axiomensystem
-
10 widerspruchsvolles Axiomensystem
противоречивая система аксиомНемецко-русский математический словарь > widerspruchsvolles Axiomensystem
-
11 аксиоматическая система
adjecon. AxiomensystemУниверсальный русско-немецкий словарь > аксиоматическая система
-
12 система аксиом
necon. Axiomensystem
См. также в других словарях:
Axiomensystem — Axiomensystem, Gesamtheit der Axiome, die ein bestimmtes Teilgebiet eines Wissenschaftsbereiches (besonders in der Mathematik) begründen. Jeder Satz dieses Gebiets muss sich aus diesem Axiomensystem logisch herleiten (»ableiten«) lassen. In… … Universal-Lexikon
Axiomensystem — Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) des Systems logisch abgeleitet werden.[1][2] Die Ableitung erfolgt dabei durch die… … Deutsch Wikipedia
Axiomensystem — Axi|o|men|sys|tem das; s, e: Gesamtheit der ↑Axiome, die ein bestimmtes Teilgebiet eines Wissenschaftsbereiches (bes. in der Mathematik) begründen … Das große Fremdwörterbuch
Hilberts Axiomensystem der euklidischen Geometrie — David Hilbert verwendet für seine Axiomatische Grundlegung der euklidischen Geometrie (im dreidimensionalen Raum) „drei verschiedene Systeme von Dingen“, nämlich Punkte, Geraden und Ebenen, und „drei grundlegende Beziehungen“, nämlich liegen,… … Deutsch Wikipedia
Scottsches Axiomensystem — Das Scottsche Axiomensystem, benannt nach dem Mathematiker Dana Scott, ist ein Axiomensystem der Mengenlehre, das als alternativer Zugang zum Axiomensystem der Zermelo Fraenkel Mengenlehre, kurz ZF, angesehen werden kann. Es verwendet das in ZF… … Deutsch Wikipedia
Huntingtonsches Axiomensystem — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… … Deutsch Wikipedia
peanosches Axiomensystem — peano|sches Axiomensystem, Peano Axiome, das von G. Peano 1889 angegebene Axiomensystem für die natürlichen Zahlen, das im Wesentlichen auf der Nachfolgerrelation (Nachfolger) aufbaut. Informal und leicht verändert (Peano hatte neun Axiome)… … Universal-Lexikon
Axiomatisches System — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Ein Axiomensystem (auch: Axiomatisches System) ist im engeren Sinn… … Deutsch Wikipedia
Endliche Modelltheorie — Die Modelltheorie ist ein Teilgebiet der mathematischen Logik. Inhalt der Modelltheorie sind die Beziehungen zwischen den rein formalen Ausdrücken einer Logik (syntaktische Ebene) und deren Bedeutung (semantische Ebene). Diese Beziehung wird über … Deutsch Wikipedia
Boolesche Algebra — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… … Deutsch Wikipedia
Fernpunkt (Geometrie) — Die projektive Geometrie ist ein Teilgebiet der Geometrie. Sie ist aus der perspektivischen Darstellung dreidimensionaler Gegenstände in der zweidimensionalen Ebene hervorgegangen. Im Gegensatz zur „gewöhnlichen“, euklidischen Geometrie, gibt es… … Deutsch Wikipedia