Auch die Frage „Ist 5 + 7 = 13?” könnten wir nicht aufwerfen, wenn nicht 5, 7 & 13
in einem System hingeschrieben wären (oder, was auf dasselbe hinausläuft, wenn sie nicht in verschiedenen in einander übersetzbaren Systemen hingeschrieben sind).