| Existence of transcendence bases | W635VBXEXG | statement | none |
| Tennenbaum's theorem | W6D5ZJAY9D | statement | none |
| Sturm comparison theorem | W7VXNYZQN2 | statement | none |
| Impossibility of the classical construction problems | W8J42M1G28 | statement | none |
| Prime ideals of a localization | W8QNZZ4QJS | statement | none |
| Tube lemma | W8XEZR3VKQ | statement | none |
| Nielsen–Schreier theorem | W97X7WX5G8 | statement | none |
| Cameron–Martin theorem | WAE4ZGJXJ7 | statement | none |
| Jordan decomposition of a signed measure | WAGJVK2NWE | statement | none |
| Delzant's theorem on toric manifolds | WBKCGFMT0P | statement | none |
| Chen's theorem | WE0RQTR68H | statement | none |
| Stable manifold theorem | WF22KK7C3R | statement | none |
| Reflection formula for the gamma function | WF7KQAQTS2 | statement | none |
| Hadamard three-lines theorem | WHS58R43N0 | statement | none |
| Calabi conjecture | WJKA5YBTJ7 | statement | none |
| Baker's theorem | WMBJSNG57F | statement | none |
| Corona theorem | WMGA92P2G4 | statement | none |
| Robertson–Seymour theorem | WP3GDNWJJW | statement | none |
| Penrose–Hawking singularity theorems | WP4YAHJ6V4 | statement | none |
| Gödel's completeness theorem | WQ1ZE255SF | statement | none |
| Easton's theorem | WQ967Q2XJD | statement | none |
| McKay conjecture | WQQTFRZFBD | statement | none |
| Kolmogorov extension theorem | WR4X7MMTH2 | statement | none |
| Lebesgue's density theorem | WSVXYSNHNX | statement | none |
| Riemann–Lebesgue lemma | WVKDC011KP | statement | none |
| Riesz–Fischer theorem | WVV4MFB2SE | statement | none |
| Fubini's theorem for series | WW53KG71KH | statement | none |
| Wang sequence | WWX8HCN260 | statement | none |
| Koebe quarter theorem | WX0HMW4GT7 | statement | none |
| Mittag-Leffler's theorem | X4R2GY1F6J | statement | none |
| Abel–Dini theorem | X629NF2CQS | statement | none |
| Inner-outer factorization | X6ZQPAQF76 | statement | none |
| Spectral theorem for bounded normal operators | X71XRPJR7D | statement | none |
| Artin's theorem on fixed fields | X7R15C00ET | statement | none |
| Bondy's theorem | X7S41PARF5 | statement | none |
| Stinespring dilation theorem | X8K0Z7484R | statement | none |
| Hilbert's tenth problem | X8TVJSVTD4 | statement | none |
| Chebotarev's density theorem | X8VKW5Y1CZ | statement | none |
| F. and M. Riesz theorem | X9V1E3V145 | statement | none |
| Gödel's incompleteness theorems | X9WYNYE29C | statement | none |
| Weyl's theorem on compact perturbations | X9XRGMDCQZ | statement | none |
| Lindelöf's theorem | XBM7J5R1VQ | statement | none |
| Fubini's theorem on differentiation | XDEJCKRVQ4 | statement | none |
| Siegel–Walfisz theorem | XEPW251A97 | statement | none |
| Skorokhod's embedding theorem | XHTYZ7ER4Z | statement | none |
| Frobenius's theorem on Frobenius kernels | XK7H3YXBQT | statement | none |
| Hilbert's theorem on the hyperbolic plane | XM772FD0BS | statement | none |
| AKS primality test | XMHQCDWZW1 | statement | none |
| 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 |
| Finiteness of associated primes | XR0WZJAM0R | statement | none |
| Jordan–Schur theorem | XT6EEXPD4P | statement | none |
| Kruskal's tree theorem | XVHKCX4F5Y | statement | none |
| Generalized mean inequality | XZ1EXQPJ6S | statement | none |
| Erdős–Stone theorem | XZF9BFJFXB | statement | none |
| Tannery's theorem | Y0JH94QR80 | statement | none |
| Borg–Marchenko uniqueness theorem | Y2GYM93C1W | statement | none |
| Fisher–Tippett–Gnedenko theorem | Y3Z99461HJ | statement | none |
| Serre's finiteness theorem | Y40ZRJJNH0 | statement | none |
| Sauer–Shelah lemma | Y4FQT5WPQJ | statement | none |
| Schur–Horn theorem | Y553MSYDAH | statement | none |
| Euler's continued fraction formula | YB35R7F7RZ | statement | none |
| Sz.-Nagy's dilation theorem | YB7Q3EK0ND | statement | none |
| Grushko theorem | YB8V6TQDYE | statement | none |
| Zariski's lemma | YBJ2VQHFDQ | 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 |
| Uniform boundedness principle | YG0042V8CJ | statement | none |
| Gromov's compactness theorem | YGSKZFTEX1 | statement | none |
| A Dedekind UFD is a PID | YGV5S3MRD6 | statement | none |
| Doob decomposition theorem | YHSSQ67GDS | statement | none |
| Theorema Egregium | YKSA8SJ81V | statement | none |
| Harnack's inequality | YNH832D50W | statement | none |
| Tarski's undefinability theorem | YRV6SYK2BY | statement | none |
| Weierstrass–Enneper parameterization | YWV6J23AP6 | statement | none |
| Smn theorem | YWX4FCFPAP | statement | none |
| Classification of covering spaces | YY277RBF8Z | statement | none |
| Lying over theorem | YZ97GKYY3P | statement | none |
| Lumer–Phillips theorem | Z2N8MPD8DH | 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 |
| No-retraction theorem | Z6JR1GN2RE | 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 |
| Synge's theorem | Z8JJ04X1JX | statement | none |
| Reeb stability theorem | Z93KMZ9R37 | statement | none |
| Hurewicz theorem | ZA11N5XPZM | statement | none |
| First and second variation of arc length | ZB91TH6FKV | statement | none |
| Bernstein's theorem on monotone functions | ZBS1JA62QP | statement | none |
| Barratt–Priddy–Quillen theorem | ZD7BNADK4H | statement | none |
| Adams' theorem on Hopf invariant one | ZJVKZ8D64P | statement | none |
| Frenet–Serret formulas | ZM6W89YNS7 | statement | none |
| Banach–Zarecki theorem | ZMEYSAHNX3 | statement | none |
| Bieberbach conjecture | ZMRFSYVWQT | statement | none |
| Finite-dimensional Hausdorff vector topologies are Euclidean | ZNMN1YA83C | statement | none |
| Whitney–Graustein theorem | ZR6DEE6RBC | statement | none |
| Łoś–Vaught test | ZR7Y5C235P | statement | none |
| Hindman's theorem | ZTWTZ8CSGV | 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 |
