I think I might argue that the "Maxwell's Equations of Software" could be a set of things that proscribe and constrain...whose consequences are pervasive throughout.

For example:

Turing Machines and the Halting Problem

Queueing Theory

Shannon Entropy

The CAP Theorem