Daß ein mathematischer Satz beweisbar ist, heißt ja nichts and[e|r]es als daß es möglich ist einzusehen daß es so ist. (direkt oder indirekt). Das einzusehen kann nur unmöglich sein, wenn nichts einzusehen da ist. Die Notion prinzipiell unentscheidbarer mathematischer Fragen beruht nur auf der Idee der unen[t|dl]ichenscheid Extensionen.