| 1. | That is an absolute basic.
c'est un axiome absolument fondamental. |
| 2. | The last axiom needs the most explanation.
Le dernier axiome demande quelques explications. |
| 3. | Otherwise, the axiom of choice will fail in L(A).
Cet axiome du choix peut être extensible à L(A). |
| 4. | Axiom 5 requires necessary existence to be a positive property.
Axiome 5 : L'existence nécessaire est positive. |
| 5. | Axiom 2: The Information Axiom.
2nd axiome: L'axiome d'information. |
| 6. | That is, it implies the axiom of global choice.
C'est le principe du choix ou axiome du choix global. |
| 7. | Other artists include Imminent Starvation, Axiome, Converter, and Terrorfakt.
D'autres musiciens du genre incluent Imminent Starvation, Axiome, Converter, et Terrorfakt. |
| 8. | The two axioms used in Axiomatic Design (AD) are: Axiom 1: The Independence Axiom.
Les deux axiomes utilisés sont les suivants: 1er axiome: L'axiome d'indépendance. |
| 9. | In 1926, Paul Finsler introduced the first axiom that allowed non-well-founded sets.
En 1926 Paul Finsler introduit le premier axiome qui autorise les ensembles non bien fondés. |
| 10. | Then the following formula is an axiom: (P(0) ∧ ∀x(P(x)→P(Sx))) → ∀y P(y).
Alors la formule suivante est un axiome : (P(0) ∧ ∀x(P(x) → P(sx))) → P(y). |
