(. 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) . . . .. - , .