Hallo Leif. Bei den Beispielen zum hysterion-prosteron kann ich keine Kreisläufe (Zirkel) erkennen. Vielleicht kannst du sie mir zeigen? In meinem zweiten Beispiel ist ein eindeutiger Zirkel erkennbar was es als Zirkelschluss qualifiziert. Inwiefern hat dieses hysteron-proteron überhaupt etwas mit Zirkelschlüssen zu tun, mal abgesehen davon das es ebenfalls ein Beweisfehler ist? Zudem wird in diesem Lemma hysteron-proteron als ein Synonym von Zirkelschluss definiert was irgendwie auch keinen Sinn macht. Was isses denn nun? Ein Zirkelschluss sicher nicht, da schonmal keine Zirkel in der Definition mit eingeschlossen sind.