Oxford, 1993. Un tueur en série envoie les fragments d'une démonstration écrite en lettres de sang au logicien Arthur Seldom. Un jeune doctorant argentin va lui apporter son aide dans la résolution decette énigme mêlant passion, mystères de la magie et des anciennes sectes pythagoriciennes et mathématiques (théorème de Fermat, abstractions de Wittgenstein et de Gödel).