Reading [this question](http://mathoverflow.net/questions/54818/consistency-strength-needed-for-applied-mathematics), and the [Wikipedia page](http://en.wikipedia.org/wiki/Reverse_mathematics) on reverse mathematics, I wonder whether one needs more than the subfield $\mathcal{P} \subset \mathbb{C}$ of periods for applied mathematics, or indeed weak forms of pure mathematics.