The Number Pi

In the setting of The Real Numbers: Standing Notation and Background, let $x_{0}$ be the real number of The Least Positive Zero of the Cosine (i), which that clause shows to exist and to be the only real number with the three properties listed there, and let $2=1+1$.

(i) The real number $\pi$ is

$$\pi=2x_{0}.$$