Für jeden der sich fragt was die Geheimsprache soll: Man kann aus Axiomen (Grundlegende, feststehende Annahmen) und Inferenzen (Regeln für Schlussfolgerungen) eine nicht lösbare Aufgabe generieren. In dem Zusammenhang hat uns auf Seite 1 @Pagurus auf Gödel's Unvollständigkeitstheoreme hingewiesen. Die Grenzen sind bekannt, da kann sich keiner rausreden
Was war noch mal das Thema, ach ja, unbewiesene Axiome. Gibt es in der Mathemagie nicht.
(eigenen Blödsinn rausgenommen)
