Ohhh, I see what’s happened!

Okay so, in this case you could make an argument that these aren’t Peano numbers because this isn’t an operation involving the set of all natural numbers (as in this hypothetical we’re starting from 10, not 0) nor are they church numerals (as a term for a unary representation) for the same reason (and also they aren’t for the other use of church numeral as the count of repeated composition [edit: and I will yoink that sidetrack ramble. bad warl0k3]), but I’m not going to do that because fuck me would that be a sign of near-terminal grass deficiency. Anyway, the above method of rationalizing grocery crimes is an example of what in computer science is generally called a church numeral, but only when working within a context that assumes base-10 representations of values are a shorthand for a unary representation of values. Whereas what generally gets called ‘Peano numbers’ are a purely unary expression of the natural numbers, but does not need the additional context to specify their use in this manner. I was assuming that compsci context, which I realize now that I shouldn’t have been doing

Thank you, this was interesting and something I really should have been more aware of!