In the 1960s, Abraham Robinson proved that the hyperreals were logically consistent if and only if the reals were.
În anii 1960 Abraham Robinson a dovedit că numerele hiperreale sunt autoconsistente logic, dacă și numai dacă și numerele reale sunt lafel.