[guest2143]

I was surprised by no discussion of ordinality. Cardinality was something I also specifically expected.

Counts of things are described here, but the greeks went to great lengths with geometry to discover numbers (and even killed people who came up with irrational answers)

[kccqzy]

Most of computer science deals with finite things. As such, it isn't necessary to introduce cardinal numbers or ordinal numbers. Natural numbers suffice. If you do, you quickly need to get into territory that requires lots of math background like well orderings, cardinal comparability hypothesis, transfinite recursion etc.