Probability theory
Probability theory as extended logic