Man könnte auch sagen „der mathematische Satz ist eine Anweisung auf eine Einsicht. Die Annahme daß ihm keine Einsicht entspricht würde ihn zu einem vollkommenen Unsinn machen.