mathworld defines the paradox like this:"Even though real arithmetic is uncountable, it possesses a countable "model.""
now here a few a questions:
1. why cant you count in real arithmetic, surely you can count numbers (: ?
2. what is this "model"?
3. why the "model" is countable but the arithmetic isnt?
