- Axiomensystem
- Axi|o|men|sys|temdas; -s, -e: Gesamtheit der ↑Axiome, die ein bestimmtes Teilgebiet eines Wissenschaftsbereiches (bes. in der Mathematik) begründen.
Das große Fremdwörterbuch. 2013.
Axiomensystem
Schlagen Sie auch in anderen Wörterbüchern nach:
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
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
