When you want to make a movie, you don't have to wait for an invention to be actually made and available. Let your imagination go its way by assuming that some inventions and discoveries are already there, but focus on humanistic part of the story and emotional, moral, ethical messages.
A good movie has an axiomatic system of its own. Otherwise the movie will be unrealistic, incoherent, inconsistent at least. Don't think that mathematics only has axiomatic systems.
In movies you use "What..if" constructs to make a story and within it to explore human experiences and values, while in mathematics you use "what..if" to construct new propositions and theorems. However, underlying logical thinking is the same in either case of creative work.