Le but de cette note est d'établir que l'axiome du choix de Zermelo équivaut à chacun des sept théorèmes suivantes: m, n, p, q étant des nombres cardinaux transfinis, [I] m.n = m + n; [II] m = m^2; [III] si m^2 = n^2, on a m = n; [IV] si m < n et p < q on a m+p < n+q; [IV'] si m < n et p < q. on a m.p < n.q; [V] si m+p < n+p on a m < n; [V'] si m.p < n.p on a m < n.;
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Définition: Russell et Whitehead appellent "truth-function" toute fonction f (ayant pour argument une proposition) qui satisfait à la condition: [p,q]:p ≡ p · f(p) ⊃ f(q) Le but de cette note est de démontrer quelques théorèmes sur les conditions tantôt nécessaires et suffisantes, tantôt seulement nécessaires pour qu'une fonction donnée f soit truth-function dans le sens indiqué de ce terme.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW