\newcommand{\ZZ}{\mathbb{Z}}

\begin{slide}{Inferenz-Systeme (Beispiel 1)}

  \begin{itemize}
  \item Grundbereich $=$ Zahlenpaare $\ZZ\times\ZZ$
  \item Axiom: 
\[ \frac{}{(13,5)}
\]
  \item Regel-Schemata: 
\[
\frac{(x,y)}{(x-y,y)},\quad
\frac{(x,y)}{(x,y-x)}
\] 
  \end{itemize}
  
kann man $(1,1)$ ableiten? \quad $(-1,5)$? $(2,4)$?

\end{slide}
