1: \begin{abstract}

2: The emergent field of probabilistic numerics has thus far lacked clear statistical principals.

3: This paper establishes \emph{Bayesian} probabilistic numerical methods as those which can be cast as solutions to certain inverse problems within the Bayesian framework.

4: This allows us to establish general conditions under which Bayesian probabilistic numerical methods are well-defined, encompassing both non-linear and non-Gaussian models.

5: For general computation, a numerical approximation scheme is proposed and its asymptotic convergence established. 

6: The theoretical development is then extended to pipelines of computation, wherein probabilistic numerical methods are composed to solve more challenging numerical tasks.

7: The contribution highlights an important research frontier at the interface of numerical analysis and uncertainty quantification, with a challenging industrial application presented.

8: \end{abstract}