| Triangle removal lemma | XMS1QRAQZC | statement | none |
| Bounded gaps between primes | XMXFDWYYMD | statement | none |
| Nesbitt's inequality | XPBQEJNYJ6 | statement | none |
| Goodstein's theorem | XQMNJF241J | statement | none |
| Hodge index theorem | XR0M3DFFMG | statement | none |
| Finiteness of associated primes | XR0WZJAM0R | statement | none |
| Cyclic term theorem | XS41Y1Q01M | statement | none |
| Jordan–Schur theorem | XT6EEXPD4P | statement | none |
| Kruskal's tree theorem | XVHKCX4F5Y | statement | none |
| Blaschke–Lebesgue theorem | XVNB6HV2Y1 | statement | none |
| Balian–Low theorem | XVVHKCYF2Z | statement | none |
| Landau's necessary density conditions for sampling | XWV6VS7BQM | statement | none |
| Poncelet's closure theorem | XWYXSRM5YS | statement | none |
| Kontsevich formality theorem | XXA9D45E0N | statement | none |
| Classification of regular polytopes | XYCD53PB5K | statement | none |
| Generalized mean inequality | XZ1EXQPJ6S | statement | none |
| Erdős–Stone theorem | XZF9BFJFXB | statement | none |
| Tannery's theorem | Y0JH94QR80 | statement | none |
| Carleson–Sjölin theorem | Y1E9SJC3Y0 | statement | none |
| Singer's theorem | Y2DKZH3CCT | statement | none |
| Borg–Marchenko uniqueness theorem | Y2GYM93C1W | statement | none |
| Rao–Blackwell theorem | Y3TX4J41TP | statement | none |
| Fisher–Tippett–Gnedenko theorem | Y3Z99461HJ | statement | none |
| Serre's finiteness theorem | Y40ZRJJNH0 | statement | none |
| Gauss multiplication formula | Y4759V8CY6 | statement | none |
| Kirchberger's theorem | Y48R8EJQT8 | statement | none |
| Sauer–Shelah lemma | Y4FQT5WPQJ | statement | none |
| Schur–Horn theorem | Y553MSYDAH | statement | none |
| Generic flatness | Y60D7BN1BN | statement | none |
| Girard's theorem | Y9DM9B0RA3 | statement | none |
| Minkowski–Hlawka theorem | YANP1PHBQ3 | statement | none |
| Euler's continued fraction formula | YB35R7F7RZ | statement | none |
| Sz.-Nagy's dilation theorem | YB7Q3EK0ND | statement | none |
| Grushko theorem | YB8V6TQDYE | statement | none |
| Böttcher's equation | YBBDYHBADD | statement | none |
| Sharkovskii's theorem | YBCZ9VY7SX | statement | none |
| Zariski's lemma | YBJ2VQHFDQ | statement | none |
| Balinski's theorem | YBNZWCG8AC | statement | none |
| Approximation by convolution with mollifiers | YBYE4TBNJV | statement | none |
| Artin–Schreier theorem on formally real fields | YDBXV8JMYE | statement | none |
| Amitsur–Levitzki theorem | YDH60KPTWT | statement | none |
| Going-down theorem | YE52MQ13MV | statement | none |
| Mazur–Orlicz theorem | YE5439NH1T | statement | none |
| Bieberbach theorems | YE87R5CDJY | statement | none |
| Sturm separation theorem | YEBPTXZ1FS | statement | none |
| Isomorphism theorem for measure algebras | YFAQGE2ATQ | statement | none |
| Hilbert's Theorem 90 | YFF8B5A0QG | statement | none |
| Birkhoff–Frink representation of algebraic closure systems | YFT50501A0 | statement | none |
| Uniform boundedness principle | YG0042V8CJ | statement | none |
| Gromov's compactness theorem | YGSKZFTEX1 | statement | none |
| A Dedekind UFD is a PID | YGV5S3MRD6 | statement | none |
| Langlands classification | YHFP9HGBTT | statement | none |
| Doob decomposition theorem | YHSSQ67GDS | statement | none |
| Sphere packing in dimensions 8 and 24 | YJ48S89BZA | statement | none |
| Wedderburn's theorem on simple Artinian rings | YJM07BT0KK | statement | none |
| Theorema Egregium | YKSA8SJ81V | statement | none |
| Rellich–Kondrachov theorem | YM3JZ34PME | statement | none |
| Harnack's inequality | YNH832D50W | statement | none |
| Likelihood principle | YR5RAT9HWZ | statement | none |
| Tarski's undefinability theorem | YRV6SYK2BY | statement | none |
| Three-term recurrence for orthogonal polynomials | YRYWCP9TYV | statement | none |
| d'Alembert's formula | YVQRAPSF77 | statement | none |
| Weierstrass–Enneper parameterization | YWV6J23AP6 | statement | none |
| Smn theorem | YWX4FCFPAP | statement | none |
| Classification of covering spaces | YY277RBF8Z | statement | none |
| Laplace's integral for Legendre polynomials | YYQG5P32GX | statement | none |
| Lying over theorem | YZ97GKYY3P | statement | none |
| Lumer–Phillips theorem | Z2N8MPD8DH | statement | none |
| Morrey's inequality | Z2R1JY1CHS | statement | none |
| Littlewood's Tauberian theorem | Z35TD4ZZRD | statement | none |
| Myers–Steenrod theorem | Z3VRMW8ETQ | statement | none |
| Hairy ball theorem | Z49RAKVCWG | statement | none |
| O'Nan–Scott theorem | Z4WVANZPK4 | statement | none |
| Whittaker–Shannon interpolation formula | Z4ZFP6FNK2 | statement | none |
| No-retraction theorem | Z6JR1GN2RE | statement | none |
| Fisher–Neyman factorization theorem | Z6MF9ZGCMW | statement | none |
| Four-vertex theorem | Z6QYDSJVFX | statement | none |
| Girsanov theorem | Z76HD1BZ29 | statement | none |
| Golden–Thompson inequality | Z7R754JC7N | statement | none |
| Sard's theorem | Z7R8J71SJN | statement | none |
| Undecidability of the halting problem | Z7TN2B35B0 | statement | none |
| Word problem for free lattices | Z86VGP5RMG | statement | none |
| Stone–von Neumann theorem | Z877XDBMQ3 | statement | none |
| Euler integral for the gamma function | Z8D1CZFTWP | statement | none |
| Synge's theorem | Z8JJ04X1JX | statement | none |
| Reeb stability theorem | Z93KMZ9R37 | statement | none |
| Hurewicz theorem | ZA11N5XPZM | statement | none |
| CSP dichotomy theorem | ZA4YXJ9T1P | statement | none |
| First and second variation of arc length | ZB91TH6FKV | statement | none |
| Bernstein's theorem on monotone functions | ZBS1JA62QP | statement | none |
| Functional equation of the gamma function | ZCB806EV8A | statement | none |
| Alexandrov's theorem on polyhedra | ZCDWXVMDFN | statement | none |
| Barratt–Priddy–Quillen theorem | ZD7BNADK4H | statement | none |
| Sklar's theorem | ZD7V7R27R9 | statement | none |
| Ehrhart–Macdonald reciprocity | ZDBER9FJ6T | statement | none |
| Anti-equivalence of affine schemes and rings | ZE780BQS42 | statement | none |
| Cone theorem | ZJSW0HP75H | statement | none |
| Adams' theorem on Hopf invariant one | ZJVKZ8D64P | statement | none |
| Holomorphy of the gamma function | ZKJF80DTNB | statement | none |
| Frenet–Serret formulas | ZM6W89YNS7 | statement | none |
| Banach–Zarecki theorem | ZMEYSAHNX3 | statement | none |
| Bieberbach conjecture | ZMRFSYVWQT | statement | none |
| Fourier transform of the Gaussian | ZNEHMR2CCP | statement | none |
| Finite-dimensional Hausdorff vector topologies are Euclidean | ZNMN1YA83C | statement | none |
| Whitney–Graustein theorem | ZR6DEE6RBC | statement | none |
| Łoś–Vaught test | ZR7Y5C235P | statement | none |
| Bochner's theorem | ZRHAG4NXHC | statement | none |
| Morley's trisector theorem | ZT97FC11VA | statement | none |
| Hindman's theorem | ZTWTZ8CSGV | statement | none |
| Grothendieck spectral sequence | ZV7VGE2SQ2 | statement | none |
| Montel's theorem | ZVFVBVJMCB | statement | none |
| Mason–Stothers theorem | ZWPWF6NJC3 | statement | none |
| Weak Nullstellensatz | ZWS0YWGF17 | statement | none |
| Newton–Puiseux theorem | ZWT5HGRFXX | statement | none |
| Hellinger–Toeplitz theorem | ZXJ7FJ3WCE | statement | none |
| Absolute continuity of the Lebesgue integral | ZXK6XM44HS | statement | none |
| Transitivity of integrality | ZXZMQM818D | statement | none |
| Stein–Tomas restriction theorem | ZZVWHNFY6F | statement | none |
