DimensionalAnalysisCert
plain-language theorem explainer
Recognition Science reduces the seven SI base quantities to five primary ones aligned with configDim = 5. A researcher performing dimensional analysis in the framework would cite this certification to justify treating amount-of-substance and luminous intensity as derived. The structure directly encodes the cardinality of the primary set together with the arithmetic split 7 = 5 + 2.
Claim. The structure asserts that the set of primary base quantities has cardinality 5 and satisfies the equation $7 = 5 + 2$, where the primary quantities are length, mass, time, electric current and temperature.
background
The module establishes the fundamental quantities for dimensional analysis in Recognition Science. Seven quantities appear in the SI system, yet only five count as primary because they align with the configuration dimension: length, mass, time, electric current and temperature. The remaining two are auxiliary and obtained from mole and photon counts.
proof idea
The declaration is a structure definition. It directly packages the cardinality assertion for the primary base quantities together with the numerical identity 7 = 5 + 2. No lemmas are applied; the fields stand as the required properties.
why it matters
The structure is instantiated by the downstream definition that supplies the concrete certificate for dimensional analysis. It thereby grounds the reduction of SI units to the five-dimensional configuration space, aligning with the Recognition Science forcing chain that fixes spatial dimension at three while allowing configuration dimension five.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.