User blog comment:Ubersketch/What are some ways to map a well-order to the natural numbers without using a Godel coding/@comment-39541634-20190909210146/@comment-35470197-20190911213514

Then my example is not a Goedel coding, right?