allPowers
plain-language theorem explainer
The complete list of 27 superhuman powers supplies the base enumeration for the σ-Resolution Superhero Thesis taxonomy. Researchers extending Recognition Science to capability classification would cite it when verifying class sizes and accessibility counts. It is realized by direct listing of every constructor from the Power inductive type.
Claim. Let $P$ be the inductive type whose constructors are the 27 canonical superhuman powers. The complete list is the sequence telepathy, precognition, empathy, healing, immortality, astralProjection, superIntelligence, enhancedSenses, soundControl, animalCommunication, mindInfluence, collectivePower, flight, invulnerability, superStrength, forceFields, energyProjection, transmutation, timePerception, superSpeed, invisibility, elementalControl, sizeManipulation, duplication, realityWarping, creationExNihilo, absoluteInvulnerability.
background
Power is the inductive type that enumerates the 27 canonical superhuman powers from cross-cultural mythology, comics, and folklore. The Superhuman.Core module formalizes the σ-Resolution Superhero Thesis, which partitions these powers into five epistemic classes A–E by Recognition Science mechanism type: DirectMechanism, Derivable, NautilusClass, Speculative, and Constrained.
proof idea
The definition is a direct enumeration of the 27 Power constructors written as a single list literal.
why it matters
This list feeds the parent theorems accessible_count_eq_23 (23 powers have an RS path) and the five class-count theorems (6, 6, 6, 5, 4 powers in classes A–E). It realizes the module claim of a complete taxonomy at 27 powers. In the Recognition Science setting it supplies the structured set needed to explore capability classifications built from J-uniqueness and the phi-ladder, though the superhuman extension is a model-level addition.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.