Well and if it would admit very openly that in the sentence "numbers are leaves" the word "are" is about the existence of an isomorphism between the natural numbers and a series of nested sets... but that it's far from the only isomorphism, induction is everywhere in math and computer science. I imagine some little kid reading this and clinging to a reductionist idea that "numbers are (only) leaves", but they aren't just leaves.
Anyhow the setup is really nice and inspiring, it just ended up feeling like a tease. Hope to see a followup!