axiom
61Axiom of global choice — In class theories, the axiom of global choice is a stronger variant of the axiom of choice which applies to proper classes as well as sets. Statement The axiom can be expressed in various ways which are equivalent: Weak form: Every class of… …
62Axiom of constructibility — The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as : V = L , where V and L denote the von Neumann universe and the constructible universe,… …
63Axiom of dependent choice — In mathematics, the axiom of dependent choices, denoted DC, is a weak form of the axiom of choice (AC) which is still sufficient to develop most of real analysis. Unlike full AC, DC is insufficient to prove (given ZF) that there is a… …
64Axiom von Veblen-Young — Das Axiom von Veblen Young (nach Oswald Veblen und John Wesley Young) ist ein Axiom der projektiven Geometrie: Wenn sich die durch vier Punkte A, B, C und D gegebenen Geraden AB und CD schneiden, dann schneiden sich auch die Geraden AC und BD.… …
65Axiom schema — In mathematical logic, an axiom schema generalizes the notion of axiom.An axiom schema is a formula in the language of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs,… …
66Axiom of real determinacy — In mathematics, the axiom of real determinacy (abbreviated as ADR) is an axiom in set theory. It states the following::Consider infinite two person games with perfect information. Then, every game of length ω where both players choose real… …
67Axiom of Archimedes — The axiom of Archimedes can be stated in modern notation as follows: Let x be any real number. Then there exists a natural number n such that n > x. In field theory this statement is called the Axiom of Archimedes. The same name is also applied… …
68Axiom of Causality — The Axiom of Causality is the proposition that everything in the universe has a cause and is thus an effect of that cause. This means that if a given event occurs, then this is the result of a previous, related event. If an object is in a certain …
69Axiom of categoricity — The Axiom of Categoricity is a tenet of linguistic theory that remained practically undisputed before the inception of modern sociolinguistics in the mid twentieth century. The term was coined by J.K. Chambers in 1995 and refers to the once… …
70Axiom des Archimedes — Das sogenannte archimedische Axiom ist nach dem antiken Mathematiker Archimedes benannt, es ist aber älter und wurde schon von Eudoxos von Knidos in seiner Größenlehre formuliert. In moderner Präzisierung lautet es folgendermaßen: Zu je zwei… …
