/?  
~5 + 4 = 8
~5 + 4 = 8 ∙ ~5 + 5 = 8
~5 + 4 = 8 ∙ ~5 + 5 = 8 ∙ ~5 + 6 = 8
‒ ‒ ‒ Die unendliche Vorschrift diese endlichen Sätze zu bilden ist ganz klar. – Kann ich nun aber nicht in
irgend einem Sinn sagen, daß alle so gebildeten Sätze wahr sind? Und woher weiß ich es denn? Durch einen Beweis mit variablen Zeichen!