This document defines probability and describes the axioms and theorems related to probability functions. It provides examples to illustrate key concepts. Specifically, it defines probability as the number of outcomes in an event divided by the total number of outcomes in the sample space. It then outlines three axioms for probability functions: 1) the probability of an event is between 0 and 1, 2) the probability of the sample space is 1, and 3) the probability of the union of mutually exclusive events equals the sum of their individual probabilities. Several theorems are also presented, such as the probability of the complement of an event equals 1 minus the probability of the event.