six_is_cubeFaces
plain-language theorem explainer
The equality shows that six equals the number of faces on a unit cube within the Recognition Science cardinality spectrum. Analysts of cross-domain RS structures reference this to verify that six decomposes as two times three from the spatial dimension. The proof proceeds by direct reflexivity on the constant definition of the cube face count.
Claim. $6$ equals the cube face count, where the cube face count is the cardinality of faces of the three-dimensional unit cube.
background
The module documents the RS cardinality spectrum consisting of numbers generated from small generators including 2, 3, and the spatial dimension. Upstream definitions set the cube face count to 6, with interpretations as twice the spatial dimension, the faces of the cube Q₃, and the unit cube face count. This places six as an exemplar in the spectrum {2, 3, 4, 5, 6, 7, 8, ...}.
proof idea
The proof is a one-line term proof applying reflexivity to equate 6 with the cube face count definition.
why it matters
This result confirms membership of 6 in the structured spectrum, linking to the three spatial dimensions from the forcing chain T8. It supports the broader claim that all spectrum members admit decompositions into RS primitives such as the cube generators. The module collects such witnesses to demonstrate non-random numerical structure in Recognition Science.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.