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.