確率論
Probability theory as extended logic