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.