The hyperreals and standard reals satisfy the transfer principle for first-order logical results, bu...