Der Beweis eines Satzes ist ein Teil seiner Grammatik. Und wenn er unbewiesen ist so hat er eine andere Funktion als, wenn er (oder ein Kalkül in dem er) bewiesen ist.
Der unbewiesene Satz ist immer ein Gleichnis mit einem nicht mathematischen Satz.