Skolem's original (1933) construction of non-standard arithmetic was intended to show the indetermin...