Frame-Robinson-Thrall Hook-Length Formula Combinatorics Herbrand's Theorem for First-Order Validity Logic Lévy Reflection Theorem Logic Existence of Linear Extensions Combinatorics Relative Consistency of $\neg\mathrm{CH}$ with $\mathrm{ZFC}$ Set Theory Schur Basis Theorem Combinatorics Matroid Greedy Theorem Combinatorics Assignment Problem Linear Programming Duality Combinatorics Discrete Mathematics Area Combinatorics Subarea