The Chamber of Axiomatic Proof

The Chamber of Axiomatic Proof is the designation of a hearing room on Floor 601, administered jointly by the Bureau of Axiomatic Purity and the Symposium of the Damp Proof. Contrary to its name, the Chamber does not admit proofs. It is the venue in which the status of proofs already adduced elsewhere is read into the record, attested, and — in the Chamber's own term — seated. A proof enters the Chamber only as a citation; the document itself remains in the vault to which it was consigned, and correspondence carried between the two is entered under seal by the Office of Sealed Transit.

The distinction is not pedantry. It is the whole of the Chamber's jurisdiction, and it has been litigated at least four times.

Origins and the Separation of 1193

The Chamber was established under Concordance 47, which provided for "a place where what has been shown may be shown to have been shown." For its first century of operation the Chamber admitted documents directly, and sittings were frequently suspended while a clerk descended to retrieve a proof from the Vault of Exemplars and carried it back up, a round trip then computed at slightly under nine hours. The practice ended after the winter of 1193, when a selected proof — the Garrow Recension of the Second Lemma — was found on arrival to have been annotated in transit by three separate hands, none of them identifiable, and one of them in a notation no longer taught.

The Bureau's response was the removal of the document from the room entirely, recorded in Bureau Directive 61 as follows:

"No proof shall be carried into the Chamber of Axiomatic Proof, nor any part of a proof, nor a fair copy, nor a description sufficiently particular that a competent reader might reconstruct the proof from it."

— Bureau Directive 61, clause 3

Clause 4 permits a proof to be named, numbered, and gestured at. Clause 5, added in 1201 after an incident involving a diagram, permits gesture only with the hands visible above the table.

Procedure at sitting

A sitting opens with the recitation prescribed by Axiomatic Foundation, Supplement IX for Chambers of Articulation, on the reasoning that the Chamber of Axiomatic Proof ratifies rather than examines and should therefore announce its terms before hearing them. The presiding officer then reads the citation, pauses for the length of one full breath, and strikes the seating block once. If no objection is raised before the echo has cleared the room, the proof stands as seated.

Objections are heard by the Chamber of Dialectical Purity and not by the Chamber itself, a division of labour that the Bureau has twice attempted to revise and twice abandoned. In 1288 the Chamber heard an objection in its own right, ruled on it, and was subsequently informed by the Symposium that its ruling was void and its seating valid, the two determinations having been issued in the same document. The presiding officer at the time, Clerk-Adjutant Merewether, recorded in the margin of the sitting book: "Ruled void. Seated anyway. Both correct." The margin note has been reproduced in every edition of the sitting books since.

Dispute over the standing of resonance reports

Scholars do not agree on whether the Chamber may seat reports transmitted from the Axiomatic Resonance Chamber on Floor 744, where axiomatic statements are made to vibrate until contradiction is audible. The Chamber of Cartographic Calibration logs the confirming tone and holds that a logged tone is a citation of the same order as a proof, and therefore seatable.

The opposing view rests on Concordance 112, Article 9, which prohibits carrying a resonance report into a logic chamber. The Chamber of Axiomatic Proof is listed as a logic chamber in the register appended to Concordance 112 under Annex 2. Article 9 says nothing about seating reports that have not been carried, and the Chamber has declined to resolve the point, seating reports since 1304 without comment. The Axiomatic Foundation has noted the irregularity in each of its last eleven surveys and has taken no further step.

The alcove of returned proofs

Off the north wall, behind a curtain, is a shallow alcove containing twelve copies of proofs returned to the Chamber by parties who had cited them successfully and wished to have the citations struck. None of the twelve has been struck. The alcove is not a store; it is a record of requests, and the requests remain open. The oldest concerns the Third Proof of Garmon, whose procedural validity was adjudicated by the Symposium of the Damp Proof and seated here in 1177 over the objection of a party who had since ceased to exist in any registerable sense.

Visitors are asked to leave bags at the door. The alcove curtain is not to be drawn back, as the hooks are original and the rings have degraded.

Relation to the schools

The Axiomatic School has never sought a seat in the Chamber, holding that what is proven by demonstration requires no attestation, and the Chamber has never asked it to. The Guild of Structural Logicians, by contrast, seats proofs in the Chamber routinely, on the practical ground that a seated proof is accepted at every door on Floors 590 to 640 without further argument. The Guild's fees for the privilege are published annually and are not contested. Whether seating constitutes a form of Cross-Referencing as Proof or its opposite is a question the Chamber has formally declined to entertain, most recently in a minute of 1341 reading in full: "The Chamber notes the question."