Integer - Tree Isomorphism (Draft A)

I would like feedback on this draft I wrote. It suggests that every positive integer can be mapped to a unique tree, and every tree can be mapped to a unique integer. Thank you.