Todos esos intentos incluyen la formulación de ciertos postulados o axiomas, sobre los que construir la teoría.
En los últimos 70 años se han propuesto varios conjuntos de axiomas, que casi equivalentes, o esencialmente equivalentes, aunque existen pequeñas diferencias en sus consecuencias.
A continuación presentamos los axiomas más o menos en sus formulaciones actuales, aunque no se discuten los detalles de sus equivalencias lógicas como conjuntos de axiomas.
Como conjuntos causales se toman frecuentemente el Interior (topología) de conos dobles.
Un cono doble es la intersección del futuro causal de un punto x del espacio-tiempo con el pasado causal de otro punto y (obviamente para obtener un cono doble no trivial es necesario que y esté en el futuro causal de x).
El trabajo no ha podido ser generalizado con éxito al espacio-tiempo de cuatro dimensiones, por lo que en realidad se sigue trabajando para encontrar una teoría adecuada en ese caso.