Denn auch “bewiesen” wird zeitlich & unzeitlich gebraucht.
  Wenn wir in der Mathematik
sagen: “der Satz … ist bewiesen”, so heißt es nicht: die Beweisfigur … ist hingeschrieben worden – sondern: es gibt etwas was wir
“Beweisfigur”
“Beweis”
dieses Satzes nennen.
  Man kann ˇalso sagen: der Satz “der Satz … ist bewiesen” ist ein grammatischer Satz.