 However, there is also a stricter usage: an ‘interpretation’ of a formal theory provides meanings for its primitive symbols or terms, with an eye to turning its axioms and theorems into true statements about some subject. In the case of probability, Kolmogorov’s axiomatization (which we will see shortly) is the usual formal theory, and the so-called ‘interpretations of probability’ usually interpret it. That axiomatization introduces a function ‘\(P\)’ that has certain formal properties. We may then ask ‘What is \(P\)?’. Several of the views that we will discuss also answer this question, one way or another.