Nem tudom, ki az a Terrell. A Penrose-t ismerem (matematikus lévén).

Egy bizonyos: a SR axiómái (pl. a fénysebesség konstans c volta minden IR-ben) a valós távolságokról és időtartamokról szólnak (pl. a fény tényleg minden inerciális megfigyelőhöz képest c-vel terjed), ergo a következtetései is ezekről szólnak. A bizonyítások elférnek néhány oldalon, megtalálod őket Einstein 1905-ös korszakalkotó cikkében. Egyébként korábban Lorentz maga is valóságos hosszkontrakcióval magyarázott bizonyos megfigyeléseket, tehát Einsteinnek jó motivációja volt a hosszkontrakciót valamiképpen "megmagyarázni". Lorentz csak azt nem vette észre (bár észrevehette volna, ha számol egy kicsit a róla elnevezett transzformációval), hogy ha az általa sejtett kontrakció a hipotetikus éter rendszerből nézve fennáll, akkor minden más IR-ből nézve is ugyanolyan alakban fennáll (tehát igazából nincs is szükség egy kitüntett rendszer feltételezésére, mert a Lorentz-trafó szempontjából az összes IR egyenértékű).