It occurs to me that some of these axioms depend on how many dimensions the space has- in 4 dimensions, a vector would have 4 components, a bivector would have 6, a trivector would have 4, and a quadvector would have 1. And so on, in accordance with Pascal’s triangle.