Foundational theory for neural networks