La prédicativité
G. Kreisel (1960)
Bulletin de la Société Mathématique de France
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
G. Kreisel (1960)
Bulletin de la Société Mathématique de France
Similarity:
Wacław Sierpiński
Similarity:
TABLE DES MATIÈRES CHAPITRE I. ALGEBRE DES PROPOSITIONS § 1. L'équivalence des propositions................ 1 § 2. L'implication................ 3 § 3. Produit logique et somme logique................ 7 § 4. Négation................ 11 § 5. Fonctions propositionnelles................ 24 § 6. Les quantificateurs................ 30 CHAPITRE II. ENSEMBLES, ÉLEMENTS, SOUS-ENSEMBLES § 7. Ensembles et leurs éléments................ 35 § 8, Egalité et inégalité des ensembles...................
Casimir Kuratowski, T. Posament (1934)
Fundamenta Mathematicae
Similarity:
Casimir Kuratowski (1920)
Fundamenta Mathematicae
Similarity:
Le but de cette note est d'introduire une définition d'un ensemble fini et de démontrer son équivalence avec la définition donnée par Wacław Sierpiński.
Wacław Sierpiński (1947)
Fundamenta Mathematicae
Similarity:
Casimir Kuratowski (1921)
Fundamenta Mathematicae
Similarity:
Le but de cette note est de donner une autre (que celle de Hessenberg et Hartogs) définition de l'orde.
Wacław Sierpiński (1921)
Fundamenta Mathematicae
Similarity:
Le but de cette note est de remarquer qu'on obtient une classe établissant un ordre dans l'ensemble donné M, en considérant une classe ℳ qui vérifie les quatres conditions suivantes: 1. Les éléments de classe ℳ sont des sous-ensembles (différents de M); 2. De deux ensembles-éléments de ℳ l'un est toujours contenu dans l'autre; 3. X étant un ensemble-élément de ℳ , il existe un élement x de X qui n'est pas élément d'aucun ensemble-élément de ℳ contenu dans X; 4. La classe ℳ est saturée...
Alfred Tarski (1931)
Fundamenta Mathematicae
Similarity:
Alfred Tarski (1924)
Fundamenta Mathematicae
Similarity:
Le but de cette note est de développer la théorie des ensembles finis comme une partie de la Théorie générale des Ensembles et sans faire intervenir les notions ou théorèmes des nombres naturels.