Wilson's Existence Theorem for Balanced Incomplete Block Designs Combinatorics Lovász Kneser Theorem Combinatorics Representability of Primitive Recursive Functions in Peano Arithmetic Logic Computable Sets Are $\Delta_1$ Discrete Mathematics Closure and Chain Condition Preservation Criterion Set Theory Omega Involution on Schur Functions Combinatorics Herbrand's Theorem for First-Order Validity Logic Fundamental Theorem of Symmetric Polynomials Combinatorics Discrete Mathematics Area Set Theory Subarea