Posts about Real numbers RSS feed 25-09-2024Brahmagupta-Fibonacci identity 02-09-2024If (∀ ε > 0, y ≤ x + ε), then y ≤ x 31-08-2024If x is the supremum of set A, then ((∀ y)[y < x → (∃ a ∈ A)[y < a]]