Transcript ECHTE GETALLEN НАСТОЯЩИЕ ЧИСЛА ΨΗΦ 9!

ECHTE GETALLEN
[email protected]
НАСТОЯЩИЕ ЧИСЛА ΨΗΦ
def
∃! ΨΗΦ ≡ Æ{æ : æ ∈ Æ} :
æh
&
æh+
0) ∃!(.) ∧ ∃!(
æ0
↓
æc
.&
æc−
æc+
æf
.
æf −
) ∧ ∃!(&) ∧ ∀æc ∈ Æ :
1) (∃!æ0 : æ0 . æc ∨ æ0 & æc )
2) (∃!æf : æc
æf )
3) (∃!æh : æh
æc )
4) ((∃!æc− : æc . æc− ) ∧ (∃!æc+ : æc & æc+ )) : (æc−
5) (∃!æh+ : æh+
æc− ∧ æh & æh+ )
6) (∃!æf − : æc+
æf − ∧ æf . æf − )
Date: 4 марта 2016 г.
i
æc+ )