Principia mathematica, by Alfred North Whitehead ... and Bertrand Russell.

428

428 ~~PROLEGOMENA TO CARDINAL ARITHMETIC [ATI

[PART 11

Dern.
F. *63-321. )F:x Et61'C..xE to't16K.
[*63-53] 7!. t2'X = t't,'K (1)
[*63-383] = totK (2)
[*63-321.] = t1%c K(3)
F.(2). (-3). Pr-op
*63-57. F at'..t'a t'. ~.tatX t2'a t'
[Proof as in *63-56]
*63-61. F. t2'X = t't'X [*6:319-101]
*63-62. F x et0'a.).tfxe6t'a t't'xt'a
Dern.
F*63s:13. FHp D..t26X = t'ce.
[*63-61] D. cc = t'a.
[*63-16]:). t'xE t'x::) F. Prop
*63-621. F X x E a.. ttX E t'a t'tx -t'a [*63-62.*63 105]
*63-63. F X XE to0'a.. ttXe t2'a. -ll t2' a
Dem.
F *63-101. t F x = t,'c'x.
[*63-62] ) F Hp. D. t0'= t'tx.
[*63-19]:). t2'a = t't't'X(1
F.-(1).-*63K103. )FProp
*63-64. F t.) =otc
Dem.
F*5h-16.*37,62.
FXE/38. ). xEL'xa'tx Etctil.
[*63-105-38]). xe tEt. t0It'x = tl't"/3.
[*13-13] ) x (1)'",
F.(1).*63-51.)DF.Prop
*63-65. F. C1'to'a =t'a [*63-371. *60-2]
*63-66. F. CjLt'IX= t2'lX [*63-5. *60-2]
*63-661. F.t'CI'a -t2'a [*60-34.*63-105-53]
*63-67. F.Cl'rtl'K = t0'K [*63-51.*60-2]
*63-68. F.Cl't2'K,= t1'K [*63-52 *60-2]