Mit der Induktion führen wir in die Logik eine neue Technik ein.
     ‘Wenn Du eine Induktion bewiesen hast, die Dich von Beweis zu Beweis führt so ist es als hättest Du diese Beweise geliefert.’ Ist nun dies in der Implikation ausgedrückt “Πp⊃p”?