| 1. | The last axiom needs the most explanation.
Le dernier axiome demande quelques explications. |
| 2. | Beevor’s Axiom is only partially true, however.
Cependant l'axiome de Beevor n'est vérifié qu'en partie. |
| 3. | There is no corresponding axiom of intersection.
Il n'y a pas d'axiome correspondant pour l'intersection. |
| 4. | Consequences of the axiom of choice.
Les paradoxes de l'axiome du choix. |
| 5. | This set is unique by the axiom of extensionality.
Son unicité découle de l'axiome d'extensionnalité. |
| 6. | Otherwise, the axiom of choice will fail in L(A).
Cet axiome du choix peut être extensible à L(A). |
| 7. | Axiom is a literate program.
Libre est une émission littéraire. |
| 8. | Axiom 5 requires necessary existence to be a positive property.
Axiome 5 : L'existence nécessaire est positive. |
| 9. | In that case, the axiom of choice must be invoked.
Sinon, on utilise l'axiome du choix. |
| 10. | L is always a model of the axiom of choice.
Cette classe est systématiquement modèle de l’axiome du choix. |
