Apprendre à traduire à partir d'exemples de traductions humaines.
De: Traduction automatique
Suggérer une meilleure traduction
Qualité :
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
die existenz der leeren menge folgt mit dem aussonderungsaxiom aus der existenz irgendeiner anderen menge.
given such an axiom together with the axiom of separation, the existence of the empty set is easily proved.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 2
Qualité :
dieses axiom integrierte zermelo 1930 in sein zf-system und bemerkte dazu, dass aus ihm das aussonderungsaxiom ableitbar ist, so dass es im zf-system entbehrlich ist.
but in this case, the set "b" required for the axiom of separation is the empty set, so the axiom of separation follows from the axiom of replacement together with the axiom of empty set.
Dernière mise à jour : 2016-03-03
Fréquence d'utilisation : 2
Qualité :
Avertissement : un formatage HTML invisible est présent