Mückenheims Axiom

[Fritz Feldhase]

"If a sequence of reals has no term before a but has terms before b > a, then there is a beginning between a and b. If all terms have finite distances, then the beginning consists of one term. If you can't understand or won't accept this, then it is an unshakeable truth neveretheless." (WM, sci.math)

[Fritz Feldhase]

On Saturday, June 3, 2023 at 5:25:28 PM UTC+2, Fritz Feldhase wrote:

> "If a sequence of reals has no term before a but has terms before b > a, then there is a beginning between a and b. If all terms have finite distances, then the beginning consists of one term. If you can't understand or won't accept this, then it is an unshakeable truth neveretheless." (WM, sci.math)

Die deutschsprachige Variante des Axioms lautet offenbar wie folgt:

"Wenn eine Folge reeller Zahlen vor a keine Terme besitzt, vor b > a aber Terme besitzt, dann existiert zwischen a und b ein Einsatz, Anfang, Beginn. [...] (Solltest Du das nicht verstehen oder nicht akzeptieren, so gilt es trotzdem.)" (WM, de.sci.mathematik)

[Ganzhinterseher]

Das sind keine Axiome, sondern unverzichtbare logische Folgerungen. Wer nur mit Axiomen denken kann, darf sie natürlich als solche empfinden. Alles, was sie verletzt ist wertlos.

Gruß, WM