"ℵ₀ < ℵ₁"

She wrote it on the whiteboard the way people write suicide notes--small, careful, final. Dr. Marsh had spent eleven years looking into infinity. Now infinity had decided to look back.

It started with the counting. She would count the tiles on her office ceiling--thirty-six, always thirty-six--but then, some nights, she'd count them again and get thirty-seven. Not a new tile. The same thirty-six tiles, only occupying more positions than there were positions to occupy. She stopped sleeping in the office after the night she counted to forty-one and recognized none of the numbers as ones she'd said before.

A hundred years ago, Cantor went mad proving this (or so she would tell her graduate students, half-joking): There's more than one infinity. There's the smallest infinity, which is just the counting numbers like one, two, three, and so on, forever. And then there's a bigger infinity, the infinity of all possible decimals, all possible points on a line, uncountably many, too many to ever list. Because if you try, you'll create new numbers, ones that aren't on any list. That's what Georg Cantor proved in 1891.

Dr. Marsh remembered the student who had definitely sat in the front row. Nobody else--not his classmates, not the admissions office, not her computer records--remembered him ever enrolling. That was strange. She remembered the proof she'd definitely written, the one that was now gone from six notebooks at once, the pages again smooth and virgin where the ink should have been. That was strange, too. Things that should have existed exactly once were existing zero times, or twice, or ℵ₀ times, and she began to suspect something stranger yet--that she, herself, had become a new number, one not on any list.

∀x (x ∈ ∅₁ ⇒ x ∈ ∅₂)

Professor Arthur Vance stared at the chalkboard, his chalk hovering over the sequence of arcane symbols.

"Vacuous truth," he whispered to the empty lecture hall. "If the antecedent is false, the conditional statement is logically true. It doesn’t matter what follows the implication. If you start with nothing, any claim you make about that nothingness is a fact.

"If a man steps into a room that does not exist, then he is a king. True. If a child enters the void, they are made of fire. True. Because the room isn't there. The void isn't there."

He laughed, a dry, raspy sound. He had spent weeks trying to define the exact boundaries of the void left behind when his coworker, Dr. Marsh, had vanished from her classroom. The police found nothing. No dust, no stray hairs, no DNA evidence. A perfect, localized vacuum.

As far as Vance could tell, she had become an element of the empty set.

He picked up a piece of chalk and drew a circle on the floor, labeling it ∅₁. An empty set. A space defined strictly by the absence of anything.

Then he drew a second circle across the room. ∅₂.

Arthur Vance stepped into the first circle. He felt a strange, sudden drop in barometric pressure and an unsettling sinking in his gut. The ambient hum of the university's ventilation died. The air grew perfectly, horribly still. He looked down at his shoes. They were inside the perimeter, but according to the mathematics of the universe, ∅₁ cannot contain an element.

Therefore, he was not there.

Panic, sharp and cold, flooded his chest. He tried to lift his foot to step out, but he couldn't feel his leg. He looked at his hands, but his eyes couldn't map the geometry of his own fingers. The logic of the universe was frantically trying to resolve the paradox he had forced upon it: if Professor Arthur Vance is in the empty set, the law is broken.

Unless the law adapts.

The equation on the board seemed to glow in the dim light.

∀x (x ∈ ∅₁ ⇒ x ∈ ∅₂)

The logic was absolute.

He didn't fall to the floor. He didn't appear in the other circle. He just went.

Wherever he was, there were no walls here. There was no university. There was only a vast, crushing infinity of empty sets, stacked like cells in a hive, perfectly symmetrical, perfectly defined, stretching out into a dark so absolute it had weight.

And in the distance, across the untold time and space of the void, he could hear the sound of chalk scratching against slate.

Someone was writing another equation.

M ⟺ ¬◻M

V ⟺ ¬◻V

M is true if and only if M cannot be proven. V is true if and only if V cannot be proven.

Dana Kersh had been the department's administrator for six years. Once upon a time, she had been a mathematician. But administration was her true calling, and if administrators believe in one thing above all else, it's paperwork. She had filed the missing-persons report on Dr. Marsh herself. She had filed a second one, eleven days later, for Professor Vance. She still had the confirmation numbers.

The problem was that when she called to follow up, the department at the other end had no record of either case. Not closed. Not open. Absent. The confirmation numbers were unassigned.

M. Marsh. Professor of Mathematical Philosophy.

M. Model. The thing that makes the truths true.

V. Vance. Professor of Mathematical Logic.

V. von Neumann's class of everything. The universe itself.

Each true if and only if they cannot be proven.

Dana knew that Gödel starved himself to death. That was mostly true, the kind of true that mathematicians tell in the tone of a ghost story, because it almost is one. Gödel could not prove that his food had not been poisoned, so he refused to eat.

M ⟺ ¬◻M. Marsh was true if and only if Marsh could not be proven. V ⟺ ¬◻V. Vance was true if and only if Vance could not be proven. Gödel knew.

If she tried to prove that Professors Marsh and Vance were real, they would only become more unreal. The universe had reclassified their values. They had become unassigned. Not zero, not null, not nothing. They were placeholders waiting for the universe to decide what to do with them.

Dana turned back to the blackboard. She wrote one new line.

¬□⊥

False cannot be proven.

And so Dana, the administrator who was once upon a time a mathematician, had remembered her Gödel but forgotten her Tarski--truth cannot be defined from inside the system.

The chalk fell to the floor in an empty room.