earthwormchuck163 comments on Standard and Nonstandard Numbers

[earthwormchuck163]

It’s probably worth explicitly mentioning that the structure that you described isn’t actually a model of PA. I’d imagine that could otherwise be confusing for readers who have never seen this stuff before and are clever enough to notice the issue.

[Eliezer Yudkowsky]

Edited.

[lavalamp]

Thanks, it makes much more sense now.