Ist das Axiomsystem nicht ˇformal beschrieben durch seine Darstellung? Denn ist es keine Beschreibung des Schachspiels, wenn ich sage: “Das Schachspiel geht so vor sich:” und nun das Spiel vorführe.