$$
\begin{array}{l}
0\in\mathbb N\\
\forall n\in \mathbb N : n'\in \mathbb N\\
\hline
0'\in\mathbb N\\
\forall n\in \mathbb N : n'\in \mathbb N\\
\hline
0''\in\mathbb N\\
\forall n\in \mathbb N : n'\in \mathbb N\\
\hline
0'''\in\mathbb N\\
\forall n\in \mathbb N : n'\in \mathbb N\\
\hline
0''''\in\mathbb N\\
\forall n\in \mathbb N : n'\neq0\\
\hline
0'''''\neq0\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''\neq0'\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''\neq0''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''\neq0'''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''\neq0''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''\neq0'''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''\neq0''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''\neq0'''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''\neq0''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''\neq0'''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''\neq0''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''\neq0'''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''\neq0''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''\neq0'''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''\neq0''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''\neq0'''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''\neq0''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''\neq0'''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''\neq0''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''\neq0'''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''\neq0''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''\neq0'''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''\neq0''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
\phantom{0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''}
\end{array}
$$
$$
\begin{array}{l}
0'''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
\phantom{0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''}
\end{array}
$$
$$
\begin{array}{l}
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
\phantom{0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''}
\end{array}
$$
$$
\begin{array}{l}
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n'
\\
\hline
0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\
\\
\square
\end{array}
$$