?????? ?????????? ?????????? ?????????????????????????? ???????? ^[1] ???? ??? ???????????????????????? ???????????? {0} ??????????

?????????????????????????? ?????????????? ( ????? ?????????????????????????)

?????? [ ??? ]

??? ????????????????????-??????? ???? ????????????????????????????????????????????????????????????????????????????? ???????????????????????????????????????????????????????????? ^[1] ??????? 1 ??? {1} ???????????? ??? ??????? ????????????????????????????????????? ???????????? {{1, 2, 3,}} ???????????????????????????????????? (???????????????????? ????????????)

???????????????????????????????????? " ?????????? " ??? 1 ??? ?????????????????????????????????????????? ??? 1 ??? ????? ???????????????? {0}

??????????????????  : ?????????????????????????????? ????????????????  : ????????? A ?? ? ?????????????????? A ??? A ???????????? {A, A} ???????????????????????????? {A} (???????????????? A ??????????????????????)

??? A ????????? ? ??? S ???????????? ? ???????? ???????? ??? A ??? S ??????????????? ? ????????? A ??????????????????? S ??????? ??? ? ?????? ???????????????? (Terminal Object) ?????????????

??????????????????????? ? ????????????????????????????????? ? ?????????????????????? ?????????????????????????????????????????????????? ???????

????????????????? [ ??? ]

???????????????????????? ????????????? ?????????????????? ???

???????????????????????????? [ ??? ]

??? ${\displaystyle S}$ ???? ???? ??????????????? ??????????????

${\displaystyle b:X\to \{0,1\}}$

???? ${\displaystyle S}$ ???????????????????????? y ????????? y ∈ X ?????????? x ?? ? x ∈ X ,

${\displaystyle b(x)=(x=y)}$

????????????????????? Principia Mathematica [ ??? ]

????????????????????????????????????? ??????? ??? ???????? ^[2]

...

${\displaystyle \iota }$‘ ${\displaystyle x={\hat {y}}(y=x)}$ Df.

???????????? ${\displaystyle \iota }$‘ ${\displaystyle x}$ ????????????? ${\displaystyle \{x\}}$ ??? ${\displaystyle {\hat {y}}(y=x)}$ ???????????????????????????? (Class of Objects Identcal) ??? ${\displaystyle x}$ ????????????????????? ${\displaystyle \{y:y=x\}}$. ????????????????????? ?????????????????????????????????????? ????????????? ??????????????????????????????????????????? 1 ???

${\displaystyle 1={\hat {\alpha }}((\exists x)\alpha =\iota }$‘ ${\displaystyle x)}$

...

??????? [ ??? ]

• ???????????? (????????)

??????? [ ??? ]

?????? ?????????? ?????????? ???? ???????????????????????????????? ???????????????

• ?
• ?
• ?