  Mathematical proofs of Representability are called representation theorems. Section 2.1 surveys three of the most influential representation theorems, each of which relies on a different set of axioms.