∀(a): ((0)!)^(−(1) + ((1)!)^(−(1))) + ((...)!)^(−(1))^(sqrt(−(1))
•
a)=cos(a) + sqrt(−(1))
•
sin(a)
∀(a): a
•
0=0
∀(a): a^(0)=1
∀(a, b): ¬(a
•
(b^(−(1)))=((0)!)^(−(1) + ((1)!)^(−(1))) + ((...)!)^(−(1)))
∀(a, b): a
•
(b + 1)=a
•
b + a
∀(a, b): a^(b + 1)=a^(b)
•
a
∀(d>2, a, b, c): (a^d + b^d=c^d)→a¬∈ℤ∨b¬∈ℤ∨c¬∈ℤ
𝕊:={n|n∈ℤ∧n>1};∀(x∈𝕊): ∃(a∈ℙ, b∈ℙ, c∈ℙ, ...k∈ℙ): a
•
b
•
...
•
k=x