> 3. When was the first proof published, and by whom, that establishes > the isomorphism between any two models for the axioms of the real > numbers?
1890 by Rodolfo Bettazziin his book "Teoria delle Grandezze". Pisa 1890
W.F.