I've been thinking about this myself.

First, let's try differential equations, which are also the point of calculus:

  Idea 1: The general study of PDEs uses Newton(-Kantorovich)'s method, which leads to solving only the linear PDEs,
  which can be held to have constant coefficients over small regions, which can be made into homogeneous PDEs,
  which are often of order 2, which are either equivalent to Laplace's equation, the heat equation,
  or the wave equation. Solutions to Laplace's equation in 2D are the same as holomorphic functions.
  So complex numbers again.

Now algebraic closure, but better:

  Idea 2: Infinitary algebraic closure. Algebraic closure can be interpeted as saying that any rational functions can be factorised into monomials.
  We can think of the Mittag-Leffler Theorem and Weierstrass Factorisation Theorem as asserting that this is true also for meromorphic functions,
  which behave like rational functions in some infinitary sense. So the algebraic closure property of C holds in an infinitary sense as well.
  This makes sense since C has a natural metric and a nice topology.

Next, general theory of fields:

  Idea 3: Fields of characteristic 0. Every algebraically closed field of characteristic 0 is isomorphic to R[√-1] for some real-closed field R.
  The Tarski-Seidenberg Theorem says that every FOL statement featuring only the functions {+, -, ×, ÷} which is true over the reals is
  also true over every real-closed field.

I think maybe differential geometry can provide some help here.

  Idea 4: Conformal geometry in 2D. A conformal manifold in 2D is locally biholomorphic to the unit disk in the complex numbers.

  Idea 5: This one I'm not 100% sure about. Take a smooth manifold M with a smoothly varying bilinear form B \in T\*M ⊗ T\*M.
  When B is broken into its symmetric part and skew-symmetric part, if we assume that both parts are never zero, B can then be seen as an almost
  complex structure, which in turn naturally identifies the manifold M as one over C.