Algèbre des ensembles, Volume 77

A₁ Algèbre des Ensembles anneau d'ensembles axiomes B₁ B₂ bles d'après décomposition définie dans l'ensemble démontrer désigne Désignons E₁ E₂ éléments de l'ensemble ensem ensemble fini ensemble formé ensemble non vide ensemble quelconque ensembles disjoints ensembles distincts équivalentes évidemment exemple existe un ensemble famille d'ensembles fonction à valeurs fonction propositionnelle P(x formé d'un seul formule Fraenkel Fund Fundamenta Mathematicae H₁ H₂ Hausdorff l'Algèbre des propositions l'axiome du choix l'ensemble B l'ensemble vide lemme Łukasiewicz Math n₁ nombre fini nombres naturels nombres premiers nombres rationnels nombres réels objet P₁ P₂ Posons produit cartésien proposition P(x propriété quelconque d'ensembles relation R résulte savons seul élément Sierpiński soient les ensembles soient les propositions somme d'ensembles somme logique sous-ensembles suite finie suite infinie d'ensembles symboles logiques Tarski théorème théorie des ensembles valeurs distinctes variable réelle Zermelo