12 Diese Behauptung ist eine Formulierung des Deduktionstheorems, das in diesem Text nicht bewiesen wird. Die Gültigkeit des Deduktionstheorem wurde 1930 von Jaques Herbrand nachgewiesen.