Inferenz-Systeme (Beispiel 1)

• Grundbereich = Zahlenpaare $\mathbb {Z}$×$\mathbb {Z}$
• Axiom:
  $${\frac{{}}{{(13,5)}}}$$

• Regel-Schemata:
  $${\frac{{(x,y)}}{{(x-y,y)}}}$$,    $${\frac{{(x,y)}}{{(x,y-x)}}}$$

kann man (1, 1) ableiten?     (- 1, 5)? (2, 4)?