Skolem Paradox

Even though real Arithmetic is uncountable, it possesses a countable ``model.''