| NOUN | an axiom | axioms |
| SYNO | axiom | maxim |
NOUN article.ind sg | pl
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!
- Axiom {n} = axiom
- Axiom {n} = postulate
- archimedisches Axiom {n} = axiom of Archimedes
alle anzeigen ...Anwendungsbeispiele Englisch
weitere Beispiele ...
- ACA0 is defined as the theory consisting of the basic axioms, the arithmetical comprehension axiom scheme (in other words the comprehension axiom for every "arithmetical" formula "φ") and the ordinary second-order induction axiom.
- Luce's choice axiom 1 is implied by choice axiom 2.
- In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) generalizes the notion of axiom.
- Thus, the wholeness axiom differs from Reinhardt cardinals (another way of providing elementary embeddings from "V" to itself) by allowing the axiom of choice and instead modifying the axiom of replacement.
- Since "S" is his 1929 axiom system, von Neumann's 1925 axiom system is consistent relative to his 1929 axiom system, which is closer to Cantorian set theory.
- By the 7th edition of the "Grundlagen", this axiom had been replaced by the axiom of line completeness given above and the old axiom V.2 became Theorem 32.
- The subcountibility axiom, asserting all sets are subcountable, is incompatible with any new axiom making [...] countable, including LEM.
- Under this definition, we can modify "homotopy axiom" for cohomology to a "proper homotopy axiom" if we define a coboundary homomorphism [...] only when [...] is a "closed" subset.
- Proving that the axiom of separation, axiom of replacement, and axiom of choice hold in [...] requires (at least as shown above) the use of a reflection principle for [...].
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!