Is the theory of partial differential fields a first-order or higher-order logic theory? Is the theory of differential fields already equipped with partial derivatives? I was told that the General Theory of Relativity is at least a second-order logic theory, because it involves solutions of partial derivatives -- is this true? If so, does that mean Maxwell's Equations are also second-order at least as it requires calculating partial derivatives as well?
Thanks!