A TheoDefben található tételek:
∀(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
∀(a, b): a∨b=b∨a
∀(a, b): a∧b=b∧a
∀(a, b): a⊕b=b⊕a
∀(a, b): ∫a db=a • b
∀(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
MainPage
abs(v(a, b))=sqrt(a^(2) + b^(2))