Briefly: Is there an introduction book for analysis with The axioms of Tarski as basis?
(I found them very elegant. And the most important thing for me is that the axioms are "obvious", not like the standard axioms - for example: why should we believe that $n*m=m*n$ without proof? Is it obvious that $3+3+3+3+3=5+5+5$?)