Ein Satz der Zahlentheorie (für unsere Zwecke) ist eine Folge der folgenden Symbole: 0und '(Nachfolger) - Nachfolger bedeutet +1also0'''' = 0 + 1 + 1 + 1 + 1 = 4 +(Addition) und *(Multiplikation) = (gleich) (und )(Klammern) der logische Operator nand( a nand bist not (a and b)) forall (der...