szemben az axiómákkal, melyek nem levezetések eredményei.

De igaznak kell lenniük. Pl. az a+b=b+a igaz. Azért nem kell levezetni, mert túl triviális.

A "fénysebesség állandó" pedig egyáltalán nem triviális, HA a fénynek az a sebessége, ami a normál sebesség. Ebben az esetben pedig nem is igaz.

Legjobb lenne az axiómákat kivenni, és akkor egyértelmű lenne: valami vagy definició, vagy tétel. Akkor bizonyitsuk a triviális tételeket is, ha más nem triviális állitásokkal.

Az axiómákat emberek találták ki, úgyhogy nyugodtan ki is vehetnénk. Persze, azért nem veszik ki, mert akkor nem lehetne ilyen zavaros elméleteket épiteni.

Az sem érv, hogy az axiómák megfelelelőek, ha igaz eredményre jutunk. De mi az igaz eredmény? Az, hogy valamik valamit kimértek, amit nem tudjuk, hogy mi (gravitációs hullámok).

Különben meg, már eleve az idővel kapcsolatban önellentmondáshoz jutunk. Abszolút időt feltételezünk, és relativ időt kapunk a végén.