Non-standard models of Peano arithmetic, as demonstrated by Thoralf Skolem in 1933, contain 'natural...