D.h. zwischen α und A liegt die Kluft von Arithmetik und || von der Arithmetik zur Algebra, und wenn B als Beweis von A gelten soll, so muß diese (Kluft) durch eine Bestimmung überbrückt werden.