| Separation principle | TMEKPXMC7V | statement | none |
| Friendship theorem | TN4GDFWGAR | statement | none |
| Roe solver | TNM5CFSZM6 | statement | none |
| Hadamard three-circle theorem for subharmonic functions | TNMQDK0RR0 | statement | none |
| Fundamental theorem of space curves | TNYQ5R0NVM | statement | none |
| Bürmann–Lagrange series | TPB4F1VY4Z | statement | none |
| Fejér's theorem | TPJZCSXSVN | statement | none |
| Barycentric interpolation formula | TPRFJNZ7S2 | statement | none |
| Hörmander's L2 estimates | TPSH4ETK67 | statement | none |
| Federer–Fleming compactness theorem | TPXYARH912 | 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 |
| Lindelöf's maximum principle | TS9TBY8ES1 | statement | none |
| Riesz representation theorem | TTC40N49M6 | statement | none |
| Kolmogorov's three-series theorem | TTTFQ693RJ | statement | none |
| Bianchi identities | TTXDZENFVB | statement | none |
| Boole's rule | TVSVBH4TT4 | statement | none |
| Poincaré recurrence theorem | TVYJPBHD0S | statement | none |
| Measurable solutions of Cauchy's equation | TWANGP59RB | statement | none |
| Frostman's theorem | TX0Z2VVKH3 | 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 |
| Capacity equals transfinite diameter and Chebyshev constant | V0SH1DY9FJ | 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 |
| Lewy extension theorem | V2YCGHD719 | statement | none |
| Homotopy invariance of homology | V313FN8HRW | statement | none |
| Eilenberg–Zilber theorem | V3G5YQTQ00 | statement | none |
| Lerch's uniqueness theorem | V3YTF5WJHY | 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 |
| Josefson's theorem | V6XSDT5C21 | 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 |
| Remmert's proper mapping theorem | VA2JEWWB61 | 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 |
| Yau's conjecture on infinitely many minimal surfaces | VAP45DFXW3 | statement | none |
| Trigonometric definition of Chebyshev polynomials | VAPNSC2JH5 | 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 |
| Differentiation in the transform variable | VEPJN1NK3C | statement | none |
| Brody's lemma | VEV5E2077C | statement | none |
| Hyers' theorem | VFRJ0P2P15 | statement | none |
| Bourgain's dimension bound for harmonic measure | VGB11C8TTN | statement | none |
| Jury stability criterion | VGV9FAPCHN | statement | none |
| Laplace transform of an integral | VGYXWXV5M4 | statement | none |
| Galois' theorem on solvability | VHCWCFA3MX | statement | none |
| Askey–Gasper inequality | VJ7AMZB988 | statement | none |
| Littlewood's L1 norm conjecture | VJNTCDZS2H | statement | none |
| Ridders' method | VM1C9D8MX9 | statement | none |
| Horseshoe lemma | VNMBSYX9PY | statement | none |
| Nyström method | VNS9QQATH1 | statement | none |
| Bernstein–Kushnirenko theorem | VP32769PVR | statement | none |
| Control variates | VPMRHXP6NM | 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 |
| Operator Cauchy equation and one-parameter semigroups | VRBP76MM84 | statement | none |
| Jónsson's lemma | VT72G3BA99 | statement | none |
| Kodaira–Nirenberg–Spencer existence theorem | VTN8JHGDS5 | 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 |
| Kigami's construction of Laplacians on post-critically finite fractals | VXB4G47Z3T | statement | none |
| Akra–Bazzi theorem | VZ1J7KM4QS | 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 |
| Superstability of the exponential equation | W11JCMFK4D | statement | none |
| De Finetti's theorem | W19129PVKQ | statement | none |
| Briançon–Skoda theorem | W1C0W5MCX0 | 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 |
| Schmidt's singular value decomposition of a kernel | W4E25FVXV1 | 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 |
| G-signature theorem | W6DAWQ6H48 | statement | none |
| Kellogg–Evans theorem | W6SXM59TS4 | 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 |
| Range conditions for the Radon transform | WASXFTTKK6 | 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 |
| Harmonic measure as exit distribution | WDJSNMG1EZ | 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 |
| Unique solvability of Volterra equations of the second kind | WG4GVC9HR8 | statement | none |
| Post's functional completeness theorem | WGBR7JHBV4 | statement | none |
| Titchmarsh convolution theorem | WGY75H4VWW | statement | none |
| Midpoint method | WHK8D383YT | statement | none |
| Hadamard three-lines theorem | WHS58R43N0 | statement | none |
| Castelnuovo's contraction theorem | WJ5WRGG5DE | statement | none |
| Calabi conjecture | WJKA5YBTJ7 | statement | none |
| Lebesgue's lemma on near-best approximation | WJKS606MDF | statement | none |
| Envelope theorem | WK7MKDWRFF | 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 |
| Antithetic variates | WNFEPEBART | 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 |
| Jackson's inequality | WQRT86VYA6 | statement | none |
| Kolmogorov extension theorem | WR4X7MMTH2 | statement | none |
