Was Mach ein Gedankenexperiment nennt, ist natürlich gar kein Experiment. Im Grunde ist es eine grammatische Betrachtung.