Page:Russell, Whitehead - Principia Mathematica, vol. I, 1910.djvu/12

La bibliothèque libre.
Le texte de cette page a été corrigé et est conforme au fac-similé.
xii
CONTENUS
PAGE
SECTION D. LOGIQUE DES RELATIONS 
 244
*30. Fonctions descriptives 
 245
*31. Relations converses 
 251
*32. Référents et référentials d’un terme donné pour une relation donnée 
 255
*33. Domaines, Domaines converses, et champs de relations 
 260
*34. Le produit relatif de deux relations 
 269
*35. Relations à domaines limités et domaines converses 
 278
*36. Relations à champs limités 
 291
*37. Fonctions descriptives plurielles 
 293
*38. Relations et classes derivé d’une fonction descriptive double 
 311
Note sur la section D 
 314
SECTION E. PRODUITS ET SOMMES DES CLASSES 
 317
*40. Produits et sommes de classes 
 319
*41. Le prduit et la somme d’une classe de relations 
 331
*42. Propositions diverses 
*43. Les relations d’un produit relatif à ses facteurs 
 340


PARTIE II. PROLÉGOMÈNES À L’ARITHMÉTIQUE DES CARDINAUX
Sommaire de la partie II 
 345
SECTION A. CLASSES UNITAIRES ET COUPLES 
 347
*50. Identité et diversité en tant relations 
 349
*51. Classes unitaires 
 356
*52. Le nombre cardinal 1 
 363
*53. Propositions diverses impliquant les classes unitaires 
 368
*54. Couples cardinaux 
 376
*55. Couples ordinaux 
 383
*56. Le nombre ordinal  
 395
SECTION B. SOUS-CLASSES, SOUS-RELATIONS ET TYPES RELATIFS 
 404
*60. Les sous-classes d’une classe donnée 
 406
*61. Les sous-relations d’une relation donnée 
 412
*62. La relation d’appartenance à une classe 
 414
*63. Types relatifs des classes 
 419
*64. Types relatifs des relations 
 429
*65. Sur la définition typique des symboles ambiguës 
 434
SECTION C. RELATIONS UNIMULTIVOQUES, MULTIUNIVOQUES ET BIUNIVOQUES 
 437
*70. Relations dont les classes de référents et référentials appartiennent à une classe donnée 
 439
*71. Relations unimultivoque, multiunivoque et biunivoque 
 446
*72. Propositions diverses concernant les relations unimultivoque, multiunivoque et biunivoque 
 462
*73. Similarité des classes 
 476
*74. Sur les relations unimultivoque et multiunivoque avec des champs limités 
 490