The closed pages

A closed page is not a dead page.

The solver, the year, and the way the closing was checked sit beside every result. A proof can close a question and open a new country of mathematics.

The record of closing

The closed shelf keeps growing.

12closed pages

The record distinguishes formal verification, peer review, and relative consistency when a question has been shown independent of its axioms.