.


:




:

































 

 

 

 





 

(. Lex identitatis) , , , , . , , , - , [ .. . ., 1947.].

:

. (2.5)

:

- -, (2.6)

:

= A, (2.7)

. . .

, (2.5-2.7) . , , , - , , - .

= :

→ , (2.8)

- , → , ..., .... : () .

:

≡ . (2.9)

: .

:

( () → ()), (2.10)

, , .

(2.8) : , , . . [40] , ... : X = X.

: , . , . , . , , , . , . , , , , , .

, - . , .

, , . . , , , , , , , , . , , , , . . , .

, , . - , , , . , , . , , , , , . , , , . , .. , , .

, , , , ' , , , . . , , . , , , , , (), , , ,

, , . , .

- .

. , . , , - , .

. , , - , , . , - . , -, . , . , , , , , : , .

: , , , - !.

, , , , , , . . , , . . , , . , . , . , , .

, , , , . , . , , , , , , .

, , . , , . : . . , .

, , , . . , , , , .

: - , , , , , , , , , , , , .

, , . , . , .

, , , . . , , . , , , , .

, , , .

. , , , , - .

, . .. :

( = y)=Df(∀f) [f(x) ⊃ f(y)], (2.11)

, f ⊃ (.), (∀f) (. ). (2.11) : , (f) . . . .. - , .

 





:


: 2015-10-06; !; : 1783 |


:

:

: , , , , .
==> ...

1648 - | 1493 -


© 2015-2024 lektsii.org - -

: 0.013 .