Deduction
Operations research
Entailment
Logical consequence
Metalogic
Random variable
Dynamic programming
Monotone convergence theorem
Logic
Mathematical analysis
Mathematics