| Paley–Wiener theorem | THY12GPZ8C | statement | none |
| Schur product theorem | TM1RE1G7JK | statement | none |
| Löwner–John theorem | TM5SYH4XHY | statement | none |
| Borel density theorem | TM8PYTBT6Y | statement | none |
| Friendship theorem | TN4GDFWGAR | statement | none |
| Fundamental theorem of space curves | TNYQ5R0NVM | statement | none |
| Fejér's theorem | TPJZCSXSVN | statement | none |
| Simplicial approximation theorem | TQFXC1A6G5 | statement | none |
| Sato–Tate conjecture | TRGBJYPBXH | statement | none |
| Endomorphism ring of a simple module is a division ring | TRMYSF91EV | statement | none |
| Riesz representation theorem | TTC40N49M6 | statement | none |
| Kolmogorov's three-series theorem | TTTFQ693RJ | statement | none |
| Bianchi identities | TTXDZENFVB | statement | none |
| Poincaré recurrence theorem | TVYJPBHD0S | statement | none |
| JSJ decomposition | TX4MSZ0SRP | statement | none |
| Contiguous relations | TX5AV1JTF5 | statement | none |
| Structure theorem for finitely generated modules over a principal ideal domain | TXMV0YDACG | statement | none |
| Measurable Riemann mapping theorem | TZHD2WKNSD | statement | none |
| Cohen's theorem on Noetherian rings | TZT1TTB7CJ | statement | none |
| Hadamard three-circle theorem | V00Q05ZW1G | statement | none |
| Fuglede's theorem | V1C28937NX | statement | none |
| Kolmogorov continuity theorem | V1HAJNC5RK | statement | none |
| Schur decomposition | V1JG4C7R7B | statement | none |
| Schwarz–Pick theorem | V1QYA9RW73 | statement | none |
| Wiener's Tauberian theorem | V20376HXHD | statement | none |
| Tverberg's theorem | V21XNZ1H0B | statement | none |
| Weil's local rigidity theorem | V2HTMG4KT1 | statement | none |
| Homotopy invariance of homology | V313FN8HRW | statement | none |
| Eilenberg–Zilber theorem | V3G5YQTQ00 | statement | none |
| Regular local rings are domains | V3ZBMRKC08 | statement | none |
| Skolem–Noether theorem | V4PEVFF4F4 | statement | none |
| Abel's summation formula | V5EPT2PX9Z | statement | none |
| Schur's theorem | V6XJQXZ7E8 | statement | none |
| Morley's categoricity theorem | V7N84P60SJ | statement | none |
| Maximal ergodic theorem | V7PA1V3N0K | statement | none |
| Tsen's theorem | V8HDYN3JMY | statement | none |
| Brauer's theorem on induced characters | V8JVWE87TE | statement | none |
| van der Waerden's theorem | V96FRZ2ME1 | statement | none |
| Plancherel theorem for abelian groups | V9K9TG0K3J | statement | none |
| Grothendieck's local duality | VA3DY2YX83 | statement | none |
| Church's theorem on undecidability of first-order logic | VA6BNNY2YC | statement | none |
| Masur–Veech theorem | VA8R0TZCKB | statement | none |
| Krein–Rutman theorem | VADXDK3TKM | statement | none |
| Lyndon–Hochschild–Serre spectral sequence | VC3QNG6TKR | statement | none |
| Hook length formula | VCMS1CP91N | statement | none |
| Newlander–Nirenberg theorem | VCT848WV1T | statement | none |
| Small object argument | VDQAZDHFF7 | statement | none |
| von Neumann coordinatization theorem | VDRCDZ048J | statement | none |
| Galois' theorem on solvability | VHCWCFA3MX | statement | none |
| Askey–Gasper inequality | VJ7AMZB988 | statement | none |
| Littlewood's L1 norm conjecture | VJNTCDZS2H | statement | none |
| Horseshoe lemma | VNMBSYX9PY | statement | none |
| Bernstein–Kushnirenko theorem | VP32769PVR | statement | none |
| Slice theorem | VQB2N60ARE | statement | none |
| Twenty-seven lines on a cubic surface | VQK5HQFYEM | statement | none |
| Chow–Rashevskii theorem | VQPN24VDH1 | statement | none |
| Kolmogorov–Arnold representation theorem | VQXDB9T838 | statement | none |
| Jónsson's lemma | VT72G3BA99 | statement | none |
| q-binomial theorem | VVT27RB46B | statement | none |
| Amitsur's theorem on the radical of polynomial rings | VW2H7873YM | statement | none |
| Routh's theorem | VWQQY7NFED | statement | none |
| Herbrand's theorem | VZ21F10WRS | statement | none |
| Lévy's upward theorem | W01FD2A8NK | statement | none |
| Toyoda–Bruck theorem | W0KBNZBCRR | statement | none |
| Quartic reciprocity | W0M20JWC9K | statement | none |
| Schwarz's list | W0MJ51242N | statement | none |
| De Finetti's theorem | W19129PVKQ | statement | none |
| Harris inequality | W1YH3YD3S4 | statement | none |
| Feynman–Kac formula | W26MGR4DA3 | statement | none |
| Serre's criterion for normality | W27Z60Q1PF | statement | none |
| Hopkins–Levitzki theorem | W29AA0266Z | statement | none |
| Fundamental theorem of affine geometry | W3YYX63R9R | statement | none |
| Jakobson's theorem | W49VGF1WDE | statement | none |
| Balog–Szemerédi–Gowers theorem | W5BZZ59CVM | statement | none |
| Existence of transcendence bases | W635VBXEXG | statement | none |
| Five lemma | W6AVEAW2WR | 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 |
| Fully faithful essentially surjective functor is an equivalence | WA60RW9E04 | 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 |
| Gamma function has no zeros | WBS4NM1TFC | statement | none |
| Wielandt's theorem | WCM87QEEZW | statement | none |
| Birkhoff's completeness theorem | WDHWCQ6Y2Y | statement | none |
| Chen's theorem | WE0RQTR68H | statement | none |
| Stable manifold theorem | WF22KK7C3R | statement | none |
| Reflection formula for the gamma function | WF7KQAQTS2 | statement | none |
| Necklace splitting theorem | WFS3PHFHA1 | statement | none |
| Post's functional completeness theorem | WGBR7JHBV4 | statement | none |
| Hadamard three-lines theorem | WHS58R43N0 | statement | none |
| Castelnuovo's contraction theorem | WJ5WRGG5DE | statement | none |
| Calabi conjecture | WJKA5YBTJ7 | statement | none |
| Gamma of one half | WM5FNBB7K0 | statement | none |
| Baker's theorem | WMBJSNG57F | statement | none |
| Corona theorem | WMGA92P2G4 | statement | none |
| Riemann–Roch theorem | WMVAT9MBZ1 | statement | none |
| Szegő limit theorems | WNJPRHZ680 | 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 |
| Wilks' theorem | WQPB6GXD0M | 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 |
| GAGA | WVZ5EZN9V2 | statement | none |
| Fubini's theorem for series | WW53KG71KH | statement | none |
| Wang sequence | WWX8HCN260 | statement | none |
| Koebe quarter theorem | WX0HMW4GT7 | statement | none |
| Yoneda Ext and extensions | WXRH0CYKYF | statement | none |
| Calabi–Weil rigidity | X4DZR72B6N | statement | none |
| Schur's lemma | X4M2FFKQJ6 | statement | none |
| Mittag-Leffler's theorem | X4R2GY1F6J | statement | none |
| Colorful Carathéodory theorem | X5GS407VP8 | statement | none |
| Abel–Dini theorem | X629NF2CQS | statement | none |
| Inner-outer factorization | X6ZQPAQF76 | statement | none |
| Spectral theorem for bounded normal operators | X71XRPJR7D | statement | none |
| Robbins conjecture | X74S395RZD | statement | none |
| Artin's theorem on fixed fields | X7R15C00ET | statement | none |
| Bondy's theorem | X7S41PARF5 | statement | none |
| Lie algebra of a compact group is reductive | X7T5D9SMT5 | statement | none |
| Baker–Campbell–Hausdorff formula | X898DPBSY7 | statement | none |
| Mayer–Vietoris sequence | X8BWXFGK53 | 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 |
| Cotlar–Stein lemma | XBJEDC18B1 | statement | none |
| Lindelöf's theorem | XBM7J5R1VQ | statement | none |
| Fubini's theorem on differentiation | XDEJCKRVQ4 | statement | none |
| Siegel–Walfisz theorem | XEPW251A97 | statement | none |
| Stability conjecture | XGNX9R7Q0Y | statement | none |
| Skorokhod's embedding theorem | XHTYZ7ER4Z | statement | none |
| Beckman–Quarles theorem | XHWA2TEC7X | statement | none |
| Decay of Fourier coefficients and smoothness | XHXKMS1GXQ | statement | none |
| Gleason–Yamabe theorem | XJF5V9WHKZ | statement | none |
| Frobenius's theorem on Frobenius kernels | XK7H3YXBQT | statement | none |
| Pentagon identity | XM4NTS5BGG | statement | none |
| Theta transformation formula | XM695ZZ4FJ | statement | none |
| Hilbert's theorem on the hyperbolic plane | XM772FD0BS | statement | none |
| AKS primality test | XMHQCDWZW1 | statement | none |
