Robinson's 1966 non-standard proofs of results like the Bernstein-Robinson theorem were rapidly give...