Possible road-maps for proving $\lim_{x\to 0}\frac{\sin x}{x}=1$ in a non-circular way 
$$\lim_{x\to 0}\frac{\sin x}{x}=1\tag{1}$$

Poofs for the limit above have been asked many many times in MSE. Here are a few of them:


*

*How to prove that $\lim\limits_{x\to0}\frac{\sin x}x=1$? 

*Finding functions for the squeeze theorem for $\lim_{x \to 0}{\frac {x}{\sin x}}$

*Non-circular proof of $\lim_{\theta \to 0}\frac{\sin\theta}{\theta} = 1$
Here is my question:

What are possible "road maps" for developing a proof for (1) in a non-circular rigorous way from a few axioms? 

One possible "road map" is as follows:

ZFC --- natural numbers --- rational numbers --- real numbers --- limits and derivatives --- power series --- power series definition of the sine function  --- proof of (1)

(In such an approach, one can derive the basic properties of the trigonometric functions from the power series definition without any appeal to the geometric notion of angle.)
[Added] My question is essential this: are there other "road maps" than the one given above? 
If one is going to give an geometric argument about (1) like most introductory calculus textbooks do, then I would like to add one more question:

What axioms in geometry would you need in order to develop a satisfactory "rigorous" definition of the sine function?

 A: I have an answer essentially given by Tao's comment in his blog. 

An alternative approach is using a geometric argument, as most of the introductory calculus textbooks do. See for instance Calculus by Stewart or this answer. As Tao said: 

To make the geometric proof of (1) fully rigorous, one needs a modern rigorous treatment of Euclidean geometry, including the identification of the Euclidean plane with the Cartesian plane ${\mathbb R}^2$. This  can be found in many modern Euclidean geometry texts. Euclid’s original axioms are not quite suitable for this task (Euclid being, of course, unaware of the modern framework of first-order logic and set theory), but one can use for instance Hilbert’s axioms for this purpose. Also, one eventually has to show that the geometric definition of $\sin(x)$ (from trigonometry) and the analytic definition (from power series) are equivalent. This can be done for instance by verifying that both definitions solve the same ordinary differential equation with the same initial conditions, and appealing to the Picard uniqueness theorem for such ODE; there are a number of other proofs as well (e.g. a complex analytic proof is given in these lecture notes).

