Axiomatization of “Story”

Axiom 1: At least one story exists.

Axiom 2: There exists an “empty story,” i.e. a story where nothing happens.

Axiom 3: Two stories are the same if and only if they contain the same events in the same order.

Axiom 4: If X is a story and Y is a story, “X then Y” is also a story.

Axiom 5: For every story X, there exists a story Y that contains story X. In this case we say that Y is a telling of X.

Axiom 6: A story exists that contains the empty story, the story containing the empty story, the story containing that story, the one containing that, etc. forever. This is called the neverending story.

…

Since there is a story where nothing happens, there is also a story that is a telling of that empty story. As a result, the story where nothing happens and then someone tells a story about nothing happening is also a story. This can keep on going indefinitely, populating the entire universe of stories with retellings about nothing.