LaTeX での数式の配置

Question

\forall x\    &0 \neq S(x)\\
\forall x,y\  &S(x) = S(y) \implies x = y\\
\forall x\    &x + 0 = x\\
\forall x,y\  &x + S(y) = S(x + y)\\
\forall x\    &x \cdot 0 = 0\\
\forall x,y\  &x \cdot S(y) = x \cdot y + x

上記の数式をプレーンテキストで表示されるように揃えたいです。

LaTeX でそれをするにはどうすればいいでしょうか?

Answer 1

\documentclass{article}

\usepackage{amsmath}

\begin{document}

\begin{alignat*}{2}
& \forall  x\ &&0 \neq S(x)\\
&\forall x,y\ &&S(x) = S(y) \implies x = y\\
&\forall   x\ &&x + 0 = x\\
&\forall x,y\ &&x + S(y) = S(x + y)\\
&\forall   x\ &&x \cdot 0 = 0\\
&\forall x,y\ &&x \cdot S(y) = x \cdot y + x
\end{alignat*}
\end{document}

Answer 2

\begin{math}
\begin{array}{ll}
\forall x\    &0 \neq S(x)\\
\forall x,y\  &S(x) = S(y) \implies x = y\\
\forall x\    &x + 0 = x\\
\forall x,y\  &x + S(y) = S(x + y)\\
\forall x\    &x \cdot 0 = 0\\
\forall x,y\  &x \cdot S(y) = x \cdot y + x
\end{array}
\end{math}