a) Für jede reelle Zahl gibt es mindestens eine kleinere und eine größere reelle Zahl.
∀ x∈ℝ ∃ y∈ℝ ∃z∈ℝ (y<x) ∧ (z>x)
b) Es gibt reelle Zahlen, die nicht rational sind.
∃ y∈ℝ y∉ℚ
c) Für jede rationale Zahl q gilt cos(q) ≠ 0.
∀ q∈ℚ cos(q) ≠ 0
a) Für jede reelle Zahl gibt es mindestens eine kleinere und eine größere reelle Zahl.
∀ x∈ℝ ∃ y∈ℝ ∃z∈ℝ (y<x) ∧ (z>x)
b) Es gibt reelle Zahlen, die nicht rational sind.
∃ y∈ℝ y∉ℚ
c) Für jede rationale Zahl q gilt cos(q) ≠ 0.
∀ q∈ℚ cos(q) ≠ 0