You're viewing a single thread.
22
comments
Is that a Peano Axioms reference ?
https://en.wikipedia.org/wiki/Natural_number#Peano_axiomsIt'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.
You've viewed 22 comments.