Liste des Groupes | Revenir à s math |
Am 08.05.2024 um 21:58 schrieb WM:Slightly corrected. x_def is a definable real number.
∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ: m > n.Großartig
Daraus können wir direkt auf
∀n ∈ ℕ_def: ∃^ℵo m ∈ ℕ: 1/m < 1/n.
schließen.
Und damit auf
∃^ℵo m ∈ ℕ_def: 1/m <= x.
Mit anderen Worten:
Ax_def > 0: NUF(x_def) = ℵo.
Les messages affichés proviennent d'usenet.