Der rekurrierende Beweis von F beweist nicht, daß F = 0˙11 ist, sondern er liefert die Zahl 0˙11.