"Mond erről valamit az euklideszi tér modellje? Nem, csak azt, hogy az axiómákból ez következik."

Én egy modelltől pontosan azt várom, hogy a problémák segítségével visszavezethetők legyenek az axiomákra. Ha tehát az idézett második mondat teljesül, akkor a modell igenis mondott valamit a problémáról, sőt, mindent elmondott róla ami csak elvárható.

Az "ez van megírva a sors könyvében" szerintem nem különösebben praktikus modell. Hacsak nem tudjuk valami módon kikovetkeztetni, mi van benne a jövőre vonatkozóan. 

Az időutazás kapcsán is valami olyesmit várnék, mint mondjuk az euklideszi modell esetében. Axiomákat, és erre épülő logikai következtetéseket, példákat stb. Amiből kiderülne, milyen típusú időutazások lehetségesek, milyenek nem. Egy modellt, amit megismerve hatékonyabban tudnék gondolkodni a problémán, kevésbé zavarnának a belém rögzült, a mindennapi élet tapasztalataiból származó sémák és így tovább.

Az, hogy "ez van megírva a Sors Könyvében", nem ilyen modell.