Gödel nemteljességi tételét alkalmazhatjuk a topikcím eldöntésére :

"az aritmetikát is magukba foglaló rendszerekről kiderül, hogy mindig akad bennük olyan állítás, amely a rendszer keretei között nem bizonyítható és nem is cáfolható, sőt a rendszer ellentmondás-mentessége sem."

Szerintem az éter létezése is tipikusan eldönthetetlen kérdés a klasszikus vagy az SR keretei között.

Einstein ezért egy új fizikát hozott létre az ÁR-t, amelyben az éter fogalma már nem lényeges, de tartalmazza az SR-t és a klasszikus fizikát is.

Hasonló "váltás" jött létre az euklideszi geometria bebizonyíthatatlan "párhuzamosok axiomája" esetén is, amikoris Bolyai-Lobacsevszkij "kiléptek" egy új geometriát megalkotva, amely már "csak" tartalmazza az euklideszi geometriát.