\documentclass[12pt,fleqn]{article}
\usepackage{graphicx}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{listings}
\usepackage{url}

\newcommand\tab[1][0.8cm]{\hspace*{#1}}

\begin{document}
	 \begin{eqnarray*}
		\lefteqn{\forall (i, j: \mathbb{N} | 0 \leq i < 2 \wedge 0 \leq j < 2 :}\\
		&& \exists(k, l: \mathbb{N} | 0 \leq k < 2 \wedge 0 \leq l < 2 \wedge (k \neq i \wedge l \neq j) : \\
		&& \tab \exists(m, n: \mathbb{N} | 0 \leq m < 2 \wedge 0 \leq n < 2 
			\wedge (m \neq k \wedge n \neq j) \\
		&& \tab	\wedge  i - k  = -( i - m) \wedge  j - l  = -( j - n) ) : \\
		&& \tab \tab board[i][j] = board[k][l] = board[m][n] )
	\end{eqnarray*}
\end{document}