The completeness axiom transfers correctly to hyperreals when restricted to internal sets, making th...