(3.3) AS, , , , AS. (3.3) , , . . . . . , AS . . . . . AS, AS . , AS . . . [143].
3.2.1. AS.
, . , , - . AS , . . , , , . AS, , ( f0); , ( f¥). AS : {¥f & f0},{0f & f¥}; (0f) (¥f) . {¥f & f0} {0f & f¥}, : ¥f f0.
3.2.2. AS.
¾ , , . AS , , . () : ¾ ¥ ¾ 0. : ¾ . -. - , , ¾ 00. ¾ , , ¾ ¥¥. ¾ 10000. , - ¾ 1000010000. , ¾ , -, , -, ¾ . [98, . 1. . 704]. : {¥f & f0}, {0f & f¥}, : 0f ¥f .
|
|
, AS , :
- ¾ S 0ff0;
- ¾ S 0ff¥;
- ¾ S ¥ff0;
- ¾ S ¥ff¥.
, . . . . , : No totality can contain members defined in terms of itself11 .
11 - , (.).
, , . AS.