Is that a Peano Axioms reference ? https://en.wikipedia.org/wiki/Natural_number#Peano_axioms
It's somehow inverted. If it was Peano, two would be represented by two Somes, not by six. I have no idea how this one works.