Follow the story. Try a proof. Let curiosity choose how deep you go.
Walk in through the manga: seventeen chapters, sixty-four pocket pebbles, zero required formulas. The Lean source stays behind glass until you ask for it.
Straight to the mathematicsBegin at the proof map — thousands of named theorems — then climb the full ladder from clock inverses to R = T. The story keeps telling itself beside you; it will keep you honest.
Made for company: one reader who loves math and one who does not — one sofa. Whatever each of you finds carries over to the tea salon.
Seventeen chapters, one extraordinary argument. One small discovery is enough for today.
Pip’s rule: mistakes are clues. Every chapter is open, and every question allows another try.
Search the local catalogue in English or Japanese. Major landmarks have Japanese titles. Open the full original proof on GitHub for the complete context.
Short scenes. Real logical goals. A pigeon who is very invested in your success.
theorem impossible_guest (P : Prop) (guest : P) (rule : P → False) : False := by sorry
The story and source are readable here. Enable JavaScript to edit proofs, try quizzes, and explore the interactive map.
These are invented practice attempts, checked here when you try them. They are not the history of the FLT proof.
“The guest looks impossible. I shall file the guest directly under False.”
exact guestguest proves P, not False. rule turns P into False. Using rule guest exposes the contradiction between the two assumptions.
exact rule guest
Opening the casebook…
The impossible guest
Start with the cake-scale story. You only need to read one small piece at a time. If you are in the Fermat story, start with Story depth, then the words listed before the chapter.
You do not need to know Lean, symbols or university mathematics to begin. Definitions come first in the small stories.
Look at the small example before the general formula. Ask what changed and what stayed the same.
Close this panel to return to the exact place you were reading. These are prepared hints for this page.
Start with the first small story →