!
∀# #
∃
%
&
%%∋
!
(#&)#∗!
+
,
%∋−!
.!+/+
%
!
(∋#
!
/+
/
0 &
(∋#
+
/!∋
−!1
+
+
2++
3
!
!
∗!
(#&)#∗
&
!
!4
56 # !
7∃−
#!
+
!5∗8# !
7 !
&)#!
&)#
%
∗8
∋/
0
!
)/
9∃−
):#(
(!
∋∃:#)0;
0;
+
21∋∃:
+!
1(!
&
∃#(
/!!
4
∋
(#6
<=>∋∃#(
∋
(#6
=#6
(
+
/
0 &+
)
%∋)
21∋!%∋
21∋
%∋
∀# ∃%!
∋!/
9∃/1
∋
(#6
<?>
&
∋
(#6
+1
!∃
%(−
,1<∗/>
9#6≅
+
∃∃
∃
Α
&
Β∋
∋ #
(
+1
9
<∗Β>∋
ΒΧ∗2
Β
∋
∃(
∆
∃(
∋
&!∆∀∆;∆0;∆(
∃
%∆8
8∋∋∃:
2
∆Ε
∋
::∆∆
Φ
∆∆::Γ:ΗΧΗ(
Η65
∋∃:
8∋
6
!
≅∆0;∆(∆0(
6 Β
∗∆≅68
Ι
Β+&∃
(−
∃
∋
!
∆∃
)+
40;∆(∆0(∆∀(
)+
/4+Γ
5∆(
Γ5∆Γ5
ϑ∋∃:
∆
∋#
Ι∃
∆