Olyat ne várj, hogy a specrel ellentmond önmagának, mert olyan nincs.
Miért nincs? A SpecRel axiómarendszerének relatív konzisztenciáját igazolták. Elvileg lehet ellentmondásos.
Azt szokták - fizikusok - mondani, hogy nem, mert a SpecRel "szintetikus a priori", magyarán, operacionálisan definiálható, teljes egészében, matematikai entitásokra való hivatkozás nélkül. Ez igaz lehet, de akkor a mérési eredményeknek a végtelenségig igaznak kellene lenniük, ezt pedig ellenőrizni nem áll módunkban (sajnos!).
Még valami, a jelenlegi vitával kapcsolatban.
Az, hogy az ikerparadoxont tagadja - ha jól értem - itt valaki, ellentmond a méréseknek. Ezzel nem is foglalkozom, ez tévedés.
Az azonban, hogy időnek mit tekintünk, már vita tárgya lehet. Ha időnek azt tekintjük, amit az órák (akár egy céziumatom, stb.) mérnek - és még az sem biztos, hogy EZ használható lesz mindig a fizikában -, akkor az idő relatív (a "relatív" fogalma persze külön definíciót igényelt, és adtak is ilyet).
Van azonban mód az időt máshogyan definiálni - mondjuk a tudatos énem szubjektív létbe-vetettségével (annak egy vetületével), ahogyan azt a filozófia kontinetális hagyománya sokszor teszi is.