probability axioms

The probability axioms are an axiomatic system for probability that is agnostic to interpretation.

Formally,

1. the probability of an event is a non-negative real number
2. the probability of the entire sample space is 1
3. any mutually exclusive events under set union have probability which is additive