Axiomatic Urban Theory

Cities concentrate human activity, yet a century of study has failed to produce a theory that explains their fundamental spatial order. Existing models describe, but do not derive—they are calibrated to data, not deduced from first principles. Here we present the first complete axiomatic foundation for urban science, built on three elementary axioms: activity is conserved, movement follows potential gradients, and potential is generated nonlocally by activity. From these, we derive a minimal dynamical system that predicts the spontaneous emergence of cities—their boundaries, centers, and density gradients—from just two universal constants. Controlled numerical experiments confirm all theoretical predictions exactly: mass is conserved, energy dissipates, and at steady state, potential is constant precisely where activity exists, a condition that mathematically defines the urban edge. By providing a unified language for urban economics, geography, transportation, and planning, this work fills a century-old gap and establishes a first-principles basis for a science of cities.