Being careful to distinguish 'fundamental laws' from just 'quantities that we defined', information theory and queueing theory have some good examples of proven laws.