| Weyl–von Neumann theorem | SB8PFJCJBC | statement | none |
| Shafarevich's theorem on solvable Galois groups | SDV692Z915 | statement | none |
| Excision theorem | SGHMSBHHA0 | statement | none |
| Cayley–Hamilton theorem for modules | SH3R5VTMZH | statement | none |
| Krull's principal ideal theorem | SJZW2HN1SC | statement | none |
| Lefschetz principle | SKTMN14X5P | statement | none |
| Whitney immersion theorem | SNZTKKN3GP | statement | none |
| Wang's finiteness theorem | SP421Y498C | statement | none |
| Auslander–Buchsbaum formula | SQB74J5E8Q | statement | none |
| Boolean prime ideal theorem | STPBXBKSZP | statement | none |
| Moise's theorem | SV0816DJP9 | statement | none |
| Burkholder–Davis–Gundy inequality | SWHVQD9YEB | statement | none |
| Doob–Meyer decomposition theorem | SX7ZPP72EM | statement | none |
| Bogomolov–Miyaoka–Yau inequality | SYSVE5P1YN | statement | none |
| Lusternik–Schnirelmann theorem | SYVXQQK57V | statement | none |
| Kantorovich–Rubinstein duality | SYXSZD8EFK | statement | none |
| Dimension of a polynomial ring | T35XFF5AY3 | statement | none |
| Sylvester–Gallai theorem | T3GGJN70P2 | statement | none |
| Reidemeister's theorem | T3HAGWYKK7 | statement | none |
| Nerve theorem | T4MTXNJJ3Q | statement | none |
| Gelfand's spectral radius formula | T4RFYT8HDN | statement | none |
| Gårding's inequality | T5MDFAZ0H6 | statement | none |
| Ambrose–Singer theorem | T61AW674XD | statement | none |
| Right adjoints preserve limits | T6A7JK3J98 | statement | none |
| Descartes' rule of signs | T6DQQ36JZ5 | statement | none |
| Bruhat decomposition | T91E86D0RH | statement | none |
| Szpilrajn extension theorem | T9CJHV6JW3 | statement | none |
| Abian–Brown theorem | TAHM74ZNWB | statement | none |
| Kawamata–Viehweg vanishing theorem | TAMCTW7SA0 | statement | none |
| Krull's height theorem | TBRTZMHFTV | statement | none |
| Foster's theorem on primal algebras | TCD8SZW95Z | statement | none |
| Peixoto's theorem | TDCY8TASCS | statement | none |
| Kaplansky density theorem | TDTMMY7RK1 | statement | none |
| Hirzebruch signature theorem | TEG1ZX1AGJ | statement | none |
| Chevalley's theorem on constructible sets | TGN01264C4 | statement | none |
| Paley–Wiener theorem | THY12GPZ8C | statement | none |
| Schur product theorem | TM1RE1G7JK | 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Amitsur's theorem on the radical of polynomial rings | VW2H7873YM | 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Baker's theorem | WMBJSNG57F | statement | none |
| Corona theorem | WMGA92P2G4 | statement | none |
| Riemann–Roch theorem | WMVAT9MBZ1 | 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 |
| 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 |
| 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 |
