An axiomatized PDE model of deep neural networks