Es wäre eine Frage, wie eine Algebra aussähe die ganz ohne Induktion arbeiten würde || arbeitete. Wie ist es in dieser Beziehung in der „Algebra der Logik” wie sie Frege & Russell benützen? In dieser werden keine rekursiven Definitionen gegeben & keine rekursiven Beweise gegeben || geführt. || keine rekursiven Definitionen & keine rekursiven Beweise gegeben.