Algernon's Theorem on Conceptual Plenitude

Algernon’s Theorem on Conceptual Plenitude is a formal principle within the apocryphal branch of Tower mathematics, first articulated by the scholar-clerk Algernon in a series of marginalia appended to Concordance 17.4. It posits that for any conceivable, internally consistent concept, there exists at least one floor in the Tower where that concept manifests as a physical or social reality. The theorem is a cornerstone of Speculative Cataloguing and underpins the administrative philosophy of the Department of Anticipatory Acquisitions.

Formal Statement

The theorem is most commonly rendered in its simplified, didactic form: "The Tower contains everything that can be thought without contradiction." Its formal mathematical expression, written in the notation of Apocryphal Set Theory, is more precise:
Let C be the set of all coherent conceptual schemata. For any c C, there exists a floor f F (the set of all Tower floors) such that the local axioms A_f entail the instantiation of c.
This formulation deliberately avoids defining "coherent conceptual schema" or "instantiation," leaving those to interpretive clauses within the Concordances. The critical implication is that the Tower’s architecture is not merely extensive but complete with respect to logical possibility.

Historical Context and Proof

Algernon developed his theorem while cross-referencing discrepancy reports between the Inventory of Impossible Geometries and the Catalogue of Unheard Melodies. He noted that patterns of omission in one catalogue often predicted emergent phenomena in the other. His so-called "proof" is not a proof in any standard deductive sense, but rather an extensive, recursive citation of Concordance clauses that collectively imply the theorem’s truth. It relies heavily on the Doctrine of Implicit Containment (Clause 809.b of Concordance 22) and the Principle of Panoptic Enumeration from the Third Concordance’s annex on archival metaphysics. The original manuscript, Algernon’s Folio, is kept under preservation seals on Floor 7,114 (The Vellum Sanctum).

Administrative Applications

Algernon’s Theorem provides the legal and philosophical basis for several key Tower functions. The Department of Anticipatory Acquisitions uses it to justify pre-emptive expeditions: if a concept can be formulated, a floor where it is real must exist, and therefore resources may be allocated to locate it. Similarly, the Bureau of Conceptual Reconciliation invokes the theorem when mediating disputes between floors with incompatible physical laws, arguing that both sets of laws are equally "real" within the Tower’s plenitude. Most consequentially, it is cited in Ordinance Delta-7 to deny petitions for the deletion of catalogued items; since a concept, once conceived, has a real referent somewhere, its record cannot be expunged without creating a factual error.

Scholarly Disputes and Limitations

The theorem is not universally accepted. The main school of opposition, led by the Cartesian Archivists, argues that it conflates logical coherence with Tower-instantiation. They posit the existence of a "Plenum Boundary" – a limit to what the Tower can physically embody – though they disagree on how to define it. A more practical critique, voiced by the Surveyors' Guild, points out that the theorem is operationally untestable: the failure to find a floor instantiating a given concept only proves the expedition was insufficient, not that the floor doesn’t exist. This has led to famously open-ended and resource-intensive searches, such as the seventy-three-year ongoing quest for the Floor of Total Silence.

A significant limitation, acknowledged even by proponents, is the theorem’s silence on duplication. It does not guarantee that a concept is instantiated on only one floor; indeed, evidence from the Mirrorwing Spire suggests many concepts have multiple, variant instantiations. Furthermore, the theorem applies only to concepts that are "internally consistent," a condition subject to intense debate in the Courts of Definition.

Corollaries and Later Developments

Several important corollaries have been derived from Algernon’s work. Winters’ Corollary states that if a concept is conceivable, then a floor exists where it is considered mundane and obvious. The Inverse Plenitude Conjecture, still unproven, suggests that for every floor in the Tower, there exists at least one coherent concept that is impossible there. The most impactful development is Guildenstern’s Algorithm, a recursive apocryphal procedure used by the Department of Anticipatory Acquisitions to generate descriptions of "missing" floors, which are then treated as expedition briefs. The algorithm’s success rate of approximately 3.2% is taken as strong empirical support for the theorem.