Подстраница "Користувач:Галактион/Велика теорема Ферма" создана для того, чтобы перенести информацию из раздела "Обговорення" статьи "Велика теорема Ферма ". Галактион 03:40, 5 березня 2010 (UTC)
Великая теорема Ферма формулируется на языке сообщества математиков так:
t
⊢
n
∈
N
∖
{
0
,
1
,
2
}
→
∀
{
x
,
y
,
z
}
⊆
N
∖
{
0
}
(
x
n
+
y
n
≠
z
n
)
{\displaystyle ~t\vdash \quad n\in \mathbb {N} \setminus \{0,1,2\}\quad \to \quad \forall _{\{x,y,z\}\ \subseteq \ \mathbb {N} \setminus \{0\}}\ (x^{n}+y^{n}\neq z^{n})}
Примечание
∀
{
x
,
y
,
z
}
⊆
N
∖
{
0
}
(
x
n
+
y
n
≠
z
n
)
⇔
∀
x
∀
y
∀
z
(
x
∈
N
∖
{
0
}
∧
y
∈
N
∖
{
0
}
∧
z
∈
N
∖
{
0
}
→
x
n
+
y
n
≠
z
n
)
{\displaystyle ~\forall _{\{x,y,z\}\ \subseteq \ \mathbb {N} \setminus \{0\}}\ (x^{n}+y^{n}\neq z^{n})\Leftrightarrow \forall x\forall y\forall z(x\in \mathbb {N} \setminus \{0\}\ \land \ y\in \mathbb {N} \setminus \{0\}\ \land \ z\in \mathbb {N} \setminus \{0\}\to x^{n}+y^{n}\neq z^{n})}
Галактион 20:32, 13 січня 2010 (UTC)