Wilson's Existence Theorem for Balanced Incomplete Block Designs Combinatorics Eigenvalues of the Point Gram Matrix of a Block Design Combinatorics Travelling Salesman Decision Problem Is NP-Hard Combinatorics Skewing Product Formula for Schur Functions Combinatorics Shape of Regular Sentential Forms Discrete Mathematics Jacobi-Trudi Identity Combinatorics Existential Introduction Rule Logic Gödel's Relative Consistency of the Continuum Hypothesis Set Theory Discrete Mathematics Area Combinatorics Subarea