S
k
o
l
e
m
i
z
a
t
i
o
n
s
t
e
p
2
4
6
8
1
0
a
r
i
t
h
m
e
t
i
c
a
l
l
e
v
e
l
Σ
:
e
x
i
s
t
e
n
t
i
a
l
Π
:
u
n
i
v
e
r
s
a
l
a
l
t
e
r
n
a
t
i
o
n
s
1
2
3
r
e
p
e
a
t
i
n
g
q
u
a
n
t
i
f
i
e
r
s
1
2
f
r
e
e
v
a
r
i
a
b
l
e
y
e
s
n
o
i
n
i
t
i
a
l
f
o
r
m
u
l
a
:
∃
x
1
∀
x
2
∃
x
3
P
(
x
1
,
x
2
,
x
3
)
x
3