Wie aber wenn das nicht entscheidbar wäre & zwar etwa darum nicht, weil die Anwendung der Regeln eine unendliche Möglichkeit hat & es nicht zu sagen ist, ob diese Anwendung einmal dieses Resultat ergeben wird?