axiomensystem
1Axiomensystem — 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… …
2Axiomensystem — 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… …
3Axiomensystem — Axi|o|men|sys|tem das; s, e: Gesamtheit der ↑Axiome, die ein bestimmtes Teilgebiet eines Wissenschaftsbereiches (bes. in der Mathematik) begründen …
4Hilberts 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,… …
5Scottsches 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… …
6Huntingtonsches 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… …
7peanosches 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)… …
8Axiomatisches 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… …
9Endliche 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 …
10Boolesche 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… …
