Foundations of Elliptic PDEs