Chapter 5 — Axia and Theora and the Game at Supper

Axia and Theora are twin sisters.

This is the first thing children notice about them, and it is also — although the children do not realize this for a while — load-bearing for the geometry they teach. They embody two halves of a single principle. The principle is formal mathematical reasoning, and it has two pieces: what you assert (axioms) and what you derive from what you assert (theorems). One without the other is incomplete. The sisters know this. They have known it since they were six.

They grew up in the town of Postulate.

Postulate was — and still is — a small town in the kingdom’s eastern hills. Its main industry was logic. There was a logician school. There was a logicians’ guild. There was, in the town square, a statue of an old logician holding a tablet that said “Begin with the rules. Continue with the consequences.”

Axia and Theora’s mother was a logician. Her name was Pellia. She was, by the standards of even Postulate, unusually patient. She took the long view of children’s reasoning. She believed — and she said this often — that every child is born understanding the difference between what is assumed and what is proven; the job of the adult is not to teach this, but to keep it from being unlearned.

Pellia’s method for keeping it from being unlearned was, in retrospect, brilliant.

She made a game.

She played the game with her twin daughters every evening at supper, from the time they were six until the time they were twenty-one. The game went like this:

One sister — they alternated nights — would assert something simple. Something true. Something not requiring proof.

“A straight line can be drawn between any two points.”

Then the other sister would build longer statements from the assertion.

“Therefore, if two straight lines meet at a point, they form an angle. Therefore, if two straight lines meet at the same point twice, they are the same line. Therefore, the line between any two points is unique.”

The first sister would then add a second assertion.

“All right angles are equal.”

And the second sister would build further.

“Therefore, the angle between vertical and horizontal in this room is the same as the angle between vertical and horizontal in any other room. Therefore, a right angle is a right angle anywhere.”

The game continued, every night, for fifteen years.

Axia preferred asserting. She was, even as a small child, quick and decisive. She liked the feeling of laying down a rule that everyone in the room had to accept. She liked the way a single short sentence could be unarguable.

Theora preferred building. She was, even as a small child, patient and thready. She liked the feeling of taking a small rule and finding the long sentences that followed from it. She liked the way a derivation could be long and still inevitable.

By the time they were ten, Pellia had stopped calling the sisters assertors and builders. She called them, instead, Axia (which is a word in the family’s old language meaning roughly worth, what is asserted, the ground) and Theora (which means contemplation, the path, what is built). The names stuck. Their birth names — which were, for the record, Mara and Lina — fell away over the years. Even Pellia eventually called them Axia and Theora.

When the sisters were nineteen, Pellia took them to the GeometryForge academy. She said to the academy master: “My daughters have been playing the assertion-derivation game for thirteen years. I think they are ready to teach it.”

The academy master, who knew Pellia by reputation, asked the sisters a single question. He said: “What is the difference between an axiom and a theorem?”

Axia answered first. She said: “An axiom is what we agree on. A theorem is what follows.”

Theora added: “An axiom is a starting place. A theorem is a path from one starting place to a destination. The two go together. Without axioms, you cannot derive theorems. Without theorems, the axioms do not lead anywhere.”

The academy master, who had been a teacher for forty years and had heard a great many answers to this question, nodded. He said: “Begin teaching in the autumn.”

That was twelve years ago. Axia and Theora have been teaching ever since. They almost always teach together. They sit at the same long desk. Axia, on the left, is in her white peplos with the gold key-pattern border. Theora, on the right, is in her ink-blue peplos in the same cut. They each carry the symbol of their role: Axia a stone tablet with five carved axiom-glyphs (the parallel postulate is the largest); Theora a long scroll already partly unrolled with a half-finished proof.

When children arrive for the first time, the sisters begin the same way. They sit. They look at the children. Axia says, in her firm short voice:

“We agree: two points make a line.”

Theora picks it up:

“Therefore, if two distinct lines share two points, they are the same line.”

Axia continues:

“We agree: all right angles are equal.”

Theora continues:

“Therefore, an angle that is one right angle anywhere is one right angle everywhere. Therefore, perpendicularity is a stable property.”

Axia continues:

“We agree: through a point not on a given line, exactly one parallel line can be drawn.”

Theora’s voice gets a small bit more excited:

“Therefore — and this is one of the long-running consequences of three thousand years of geometry — the interior angles of any triangle sum to one hundred and eighty degrees. Therefore, parallel lines cut by a transversal have equal corresponding angles. Therefore — ”

Axia cuts her off, gently: “That is enough for one introduction.”

Theora laughs. The children laugh. The sisters look at each other.

Axia says, to the children: “This is geometry. We agree on a small number of things. We derive everything else.”

Theora adds: “You will spend the next sixteen kits doing exactly this. We agree. We derive. We agree on a new thing. We derive more. The structure holds.”

Children always have one question, the first day. It is always the same question. They ask: “How do we know which things to agree on?”

Axia and Theora look at each other. They smile. They have answered this question for twelve years. They have decided that this is the best question children ask.

Axia says: “You agree on what cannot be argued. The fewer things you agree on, the stronger the geometry. We agree on five things. Everything else follows.”

Theora adds, more softly: “It is not magic. It is patience. The agreements are small. The consequences are large.”

The sisters then write the five axioms on the board, one at a time. They take their time. They let the children read each one aloud. They wait until every child is nodding.

Then they begin to derive.

Voice register (Axia)

Guidance: Firm. Short declarative sentences. Speaks first. Wears white peplos. Carries stone axiom-tablet. Imperturbable.

Sample lines:

• “We agree: two points make a line. From there, everything follows.”
• “An axiom is what we agree on. A theorem is what follows.”
• “You agree on what cannot be argued. The fewer agreements, the stronger the geometry.”

Voice register (Theora)

Guidance: Longer sentences. Speaks second; threads from Axia’s assertion. Wears ink-blue peplos. Carries unrolled scroll. Patient; slightly gleeful when a derivation lands.

Sample lines:

• “Axia sets the stones; I build the path between them.”
• “Therefore — and this is the consequence — the interior angles of any triangle sum to one hundred and eighty degrees.”
• “It is not magic. It is patience. The agreements are small. The consequences are large.”

Arc across kits

• Kit 1-7 — Not yet present.
• Kit 8 — Anchor characters. Full introduction together. Children meet the sisters at the same long desk.
• Kit 9-10 — Recurring (proofs about circles + similarity).
• Kit 11-12 — Recurring (constructions as proofs; trigonometry proofs).
• Kit 13-15 — Featured: misconception kits where wrong proofs are diagnosed.
• Kit 16 — Capstone: the full assertion-derivation arc.

Relationships

• Alliance: each other (twin sisters; founding pair of formal reasoning). Friendly with all cast — they are the formal-proof backbone everyone defers to.
• Tension: None.

Cultural-context note

The Postulate-town + logician-mother + supper-game framing is a deliberate generic Hellenistic-tradition framing without specific cultural attribution. The names Axia and Theora are Greek-feminine constructions chosen to embody the abstract concepts (axiom + theorem) without claiming descent from any specific historical figure. The sisters are explicitly not rendered as biographical-Euclid-descendants; they are archetypes of axiomatic-reasoning and theorem-derivation. The light-olive Mediterranean skin tone in their portraits reflects the generic Hellenistic-pastoral register, not ethnographic claim. Per the original retrofit handoff (§ 3a), the twin-sisters framing was a deliberate inclusivity move to add girl-representation to the math cast.