Ein Sprachspiel: Wie habe ich mir eins vorzustellen, in dem Axiome, Beweise & bewiesene Sätze auftreten?