User blog:Ubersketch/What are some ways to map a well-order to the natural numbers without using a Godel coding

Title