>In the 1960s, Abraham Robinson proved that the hyperreals were logically consistent if and only if the reals were
If the reals are logically consistent then it is also logically consistent to have a number system were there are numbers infinitely close to other numbers without equaling them.
Are the reals logically consistent?