Der Satz daß dieser Beweis rekursiv ist, ist in einem ganz andern Sinne Satz der Mathematik als der welcher eine Kontrolle zuläßt.