1. Für beliebige verschiedene positive rationale Zahlen q und r liegt die Zahl r stets zwischen q und r^2/q
2. Für beliebige positive rationale Zahlen q und ε gibt es zwei natürliche Zahlen n und m so, dass q < n · 2^−m < q + ε gilt
Formulieren Sie Sätze als pradikätenlogische Formel.