Erweiterungen

• andere Zahlen (nicht nur reelle)
• andere Strukturen (nicht nur Zahlen, (Un)gleichungen)
• mehr Formeln (nicht nur $\wedge$, sondern auch $\vee$)