Here, we construct inductive theories that contain the axioms of set theory. Such theories are capable of discussing any mathematical object. Using them, we are able to prove our final two embedding theorems. We then use them to state and prove many fundamental results in probability theory. These include the law of large numbers, the central limit theorem, and conditional expectation. The material in this chapter is essential for constructing the examples in Chap. 7 .