26 x10 a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a7 a11 a12 a7 a13 a14 a15 a16a17 a18 a19 P( N) | . : ‘ ? P a20 : a21 a21 | . . = + . 1 a22 a22 a22 : P a23 . : P a23 . : P , ‘ ‘ : 2 29 ‘ P , . : ‘ P , P 1 ; 2 ; ; n , i (1 i n) i . (1) i = 1, 1 , a24 17 1 (2) 1 ; 2 ; ; i 1 , i . (2.1) i , i . (2.2) i a24 j ; k (1 j; k < i) (M) . k j ! i . a24 j ; k . a24 18 i . 3 30 P , ‘ P ‘ P : . : , : . P a25 , = (: ) = 1. (: ) = 1 = 0 6= , . : P : a23 . 10 P a25 a23 . 4 a26 a26 a26 (v 1 ; v 2 ; ; v n ) P : (1) v 1 ; v 2 ; ; v n , (2) v 1 ; v 2 ; ; v n . 5 a26 a26 a26 (v 1 ; v 2 ; ; v n ) P a25 , P a25 . 1 ; 2 ; ; n : i = 8 > < > : v i (v i ) = 1 :v i (v i ) = 0 (1) ( (v 1 ; v 2 ; ; v n )) = 1 , 1 ; 2 ; ; n ‘ (2) ( (v 1 ; v 2 ; ; v n )) = 0 , 1 ; 2 ; ; n ‘ : 6 (I) : :;! d . (1) d = 0 , v i , = (v i ). (1.1) = 1 , (v i ) = 1, i v i . i , 1 ; 2 ; ; n ‘ . (1.2) = 0 , i :v i . i : , 1 ; 2 ; ; n ‘ : . 7 (II) (2) d k d , d = k + 1 . (2.1) (: 1 ), 1 d 1 = k. (2.1.1) = 1 , 1 = 0. a24 : 1 ; 2 ; ; n ‘ : 1 , 1 ; 2 ; ; n ‘ . (2.1.2) = 0 , 1 = 1. a24 : 1 ; 2 ; ; n ‘ 1 , a24 1 ‘ :: 1 , 1 ; 2 ; ; n ‘ :: 1 , 1 ; 2 ; ; n ‘ : . 8 (III) (2.2) 1 ! 2 , 1 ; 2 k. (2.2.1) = 0 , 1 = 1, 2 = 0. a24 : 1 ; 2 ; ; n ‘ 1 1 ; 2 ; ; n ‘ : 2 a24 29 : ‘ 1 ! : 2 !:( 1 ! 2 , 1 ; : 2 ‘ :( 1 ! 2 ), 1 ; 2 ; ; n ‘ :( 1 ! 2 ), 1 ; 2 ; ; n ‘ : . 9 (IV) (2.2.2) = 1 , 1 = 0 2 = 1. (i) 2 = 1, 1 ; 2 ; ; n ‘ 2 . a24 2 ‘ 1 ! 2 , 1 ; 2 ; ; n ‘ 1 ! 2 , 1 ; 2 ; ; n ‘ . (ii) 1 = 0 , 1 ; 2 ; ; n ‘ : 1 . a24 : 1 ‘ 1 ! 2 , 1 ; 2 ; ; n ‘ 1 ! 2 , 1 ; 2 ; ; n ‘ . 10 31 P , ‘ P . : v 1 ; v 2 ; ; v n . P a25 1 ; 2 ; ; n : i v i :v i (1 i n) a24 , a24 : 1 ; 2 ; ; n ‘ n v n , :v n , 1 ; 2 ; ; n 1 ; v n ‘ 1 ; 2 ; ; n 1 ; :v n ‘ 11 ( ) a24 : 1 ; 2 ; ; n 1 ‘ v n ! 1 ; 2 ; ; n 1 ‘ :v n ! ‘ (v n ! ) ! (:v n ! )! , 1 ; 2 ; ; n 1 ‘ : 1 ; 2 ; ; n 2 ‘ . . . 1 ; 2 ‘ 1 ‘ v 1 ‘ , :v 1 ‘ , ‘ v 1 ! , ‘ :v 1 ! . ‘ . 12 a23 , a27 : P P a23 ? a23 a20 a20 a28 13 p.509(p.102). 26 27 28 14 15