| Hopf–Rinow theorem | QCCD2JNFBT | statement | none |
| Generic smoothness | QCYZRQX7QG | statement | none |
| Lidskii's theorem | QD23PJR6RP | statement | none |
| Frobenius theorem on real division algebras | QDJ7PQE9SW | statement | none |
| Structure theorem for compactly generated LCA groups | QDWNHEQJRK | statement | none |
| Van der Corput lemma | QDXR02419M | statement | none |
| Rademacher's theorem | QEY26RT19R | statement | none |
| Blakers–Massey theorem | QF764XKBA3 | statement | none |
| Bohr–Mollerup theorem | QFF87AXWN2 | statement | none |
| Poles of the gamma function | QFPFF15PXC | statement | none |
| Tannaka–Krein duality | QGPAB6AS9F | statement | none |
| Levitzki's theorem | QHD4KJYFSA | statement | none |
| Borsuk–Ulam theorem | QHJ0GBQE2E | statement | none |
| Rogers' bound | QHPXB39SN7 | statement | none |
| Gysin sequence | QJSPWM9F9P | statement | none |
| First main theorem of Nevanlinna theory | QJWCFAK4AK | statement | none |
| Coarea formula | QK55379SXW | statement | none |
| Weyl integration formula | QMH530N27M | statement | none |
| Moore–Osgood theorem | QN2210XCST | statement | none |
| Whipple's transformation | QNGGCTXK9S | statement | none |
| Gentzen's consistency proof | QPV0HNP22S | statement | none |
| Schreier refinement theorem | QQAWHC9X60 | statement | none |
| Lehmann–Scheffé theorem | QQZPWDWS29 | statement | none |
| Jordan curve theorem for polygons | QS9PG4MNTR | statement | none |
| Lenagan's theorem | QSK2J5HEER | statement | none |
| John–Nirenberg inequality | QTSJT4JZXT | statement | none |
| Pontryagin duality theorem | QTVC6F2P9D | statement | none |
| Cheeger–Gromoll splitting theorem | QV75TT6131 | statement | none |
| Sanov's theorem | QWEF2WAXJM | statement | none |
| Nonemptiness of the spectrum | QWQC5SV0SD | statement | none |
| Addition formulas for Jacobi elliptic functions | QWSRBJ1G1E | statement | none |
| Solvability of x^n - a | QWXD1Z9V8F | statement | none |
| Castelnuovo's rationality criterion | QXHMMQX1D7 | statement | none |
| Convolution theorem | QY8ETVDA1Z | statement | none |
| Feichtinger conjecture | QYQ983Z0BK | statement | none |
| Tits alternative | QYXGVES1XM | statement | none |
| Valuative criterion | QZN6P7AG33 | statement | none |
| Hilbert's syzygy theorem | R0DSZPRG6T | statement | none |
| Artin–Wedderburn theorem | R1F271180N | statement | none |
| Marcinkiewicz interpolation theorem | R1PHMVBJ9J | statement | none |
| Picard's little theorem | R2PHM118NG | statement | none |
| Liouville's theorems on elliptic functions | R32HEEN55K | statement | none |
| Bruck–Ryser–Chowla theorem | R43K0GTTDS | statement | none |
| Sturm's theorem | R44CV0KD9T | statement | none |
| Neumann's addition theorem | R4KVJ1PD8S | statement | none |
| Euler's pentagonal number theorem | R587SR9GNV | statement | none |
| Ruzsa triangle inequality | R7E5A4W6FJ | statement | none |
| Hasse–Minkowski theorem | R8HCWA981S | statement | none |
| Frobenius theorem on Cesàro and Abel summability | R8MZAZ6GCR | statement | none |
| Thue–Siegel–Roth theorem | R9JZA3G2NX | statement | none |
| Friedberg–Muchnik theorem | RA358M9QCN | statement | none |
| Weyl's inequality | RACSNQXDQV | statement | none |
| Dugundji extension theorem | RBDJBK63HX | statement | none |
| Golod–Shafarevich theorem | RC5A5T7YY2 | statement | none |
| Karlin–Rubin theorem | RCASN31FFS | statement | none |
| Gromov's non-squeezing theorem | RDX55HQ3XT | statement | none |
| Jordan–Zassenhaus theorem | RDZGJ21WRX | statement | none |
| Fundamental identity for ramification and inertia | REJDQ6BTQV | statement | none |
| Euler's theorem in geometry | RFCQT6TKZF | statement | none |
| Bing metrization theorem | RGCZ2P9QRM | statement | none |
| Whitney extension theorem | RH2EZGYGAW | statement | none |
| Knaster–Tarski theorem | RHXP3HA64M | statement | none |
| Beth definability theorem | RJBDSA2ETP | statement | none |
| Jensen's covering theorem | RJE1W5NRE3 | statement | none |
| Ramanujan's 1psi1 summation | RK6DCJVJCR | statement | none |
| Mackey–Arens theorem | RKKWS7CDNF | statement | none |
| Gelfond–Schneider theorem | RN58Z2NWAC | statement | none |
| Sokhotski–Plemelj theorem | RNB6QX0GCA | statement | none |
| Law of the iterated logarithm | RQJC67S0QJ | statement | none |
| Mazur's torsion theorem | RQS6YHAR8N | statement | none |
| Gromov's theorem on groups of polynomial growth | RSBFHHPTWX | statement | none |
| Krein–Milman theorem | RSRAY0Q68S | statement | none |
| Clifford's theorem on special divisors | RSW29AVKGM | statement | none |
| Apéry's theorem | RT5MJT6CTB | statement | none |
| Lebesgue constants of the Dirichlet kernel | RWKQ5EP4YF | statement | none |
| Serre's modularity conjecture | RWXXNZNQYJ | statement | none |
| Fundamental theorem of calculus for Lebesgue integrals | RX7JSHMP8Z | statement | none |
| Kurosh subgroup theorem | RY8K5RQJSR | statement | none |
| Euler's theorem on normal curvatures | RYB4DQTAK0 | statement | none |
| Adjunction formula | RYB6F7JFGV | statement | none |
| Calderón–Zygmund estimates | RYQJH4RYB4 | statement | none |
| An infinite product converges iff its series of logarithms converges | RZKC8B00HZ | statement | none |
| Cramér's theorem | RZZK51CXMN | statement | none |
| Seifert–van Kampen theorem | S17DY98VF2 | statement | none |
| Erdős–Rado theorem | S1BHE358VX | statement | none |
| Uncertainty principle in Fourier analysis | S1FB2K14NV | statement | none |
| Kirchhoff's matrix tree theorem | S1PG1N2VEX | statement | none |
| Minlos theorem | S2J9CBPJ0V | statement | none |
| Hopf's formula | S31M1ZYJRK | statement | none |
| Zero divisors are the union of associated primes | S37DQGW3TZ | statement | none |
| Silverman–Toeplitz theorem | S4J7SRPXMZ | statement | none |
| Stone's representation theorem for Boolean algebras | S4QJ395PA5 | statement | none |
| Rankine–Hugoniot conditions | S4XMYJ3V42 | statement | none |
| Unique factorization of ideals in a Dedekind domain | S6PHT75MEK | statement | none |
| Hardy's inequality | S7A8YFGG8X | statement | none |
| Selberg integral | S8VTVSJ6EX | statement | none |
| Chebyshev's sum inequality | S8X2N1DW8P | statement | none |
| Fatou's lemma | S95TR54TCG | statement | none |
| Muckenhoupt's theorem | S9BKNBRV4H | statement | none |
| Lambek's lemma | S9FVESJ0CS | statement | none |
| Kummer's transformation | S9VTAYV1VJ | statement | none |
| Priestley duality | SA22SEC75K | statement | none |
| Clifford theory | SAH4PD2J9T | statement | none |
| Lebesgue differentiation theorem | SAZ0ESVBVP | statement | none |
| Denjoy–Carleman–Ahlfors theorem | SB55PWPRH2 | statement | none |
| Weyl–von Neumann theorem | SB8PFJCJBC | statement | none |
| Shoelace formula | SDHZRWMSTT | statement | none |
| Shafarevich's theorem on solvable Galois groups | SDV692Z915 | statement | none |
| Hölder's theorem | SF3X43X837 | statement | none |
| Excision theorem | SGHMSBHHA0 | statement | none |
| Cayley–Hamilton theorem for modules | SH3R5VTMZH | statement | none |
| Krull's principal ideal theorem | SJZW2HN1SC | statement | none |
| Euler–Gauss limit formula | SKRP9NDXR4 | statement | none |
| Lefschetz principle | SKTMN14X5P | statement | none |
| Whitney immersion theorem | SNZTKKN3GP | statement | none |
| Wang's finiteness theorem | SP421Y498C | statement | none |
| Segre's theorem | SPFP3GHVYJ | statement | none |
| Auslander–Buchsbaum formula | SQB74J5E8Q | statement | none |
| Pitman–Koopman–Darmois theorem | SSFSDQX8RR | 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 |
| Decay of the Fourier transform of surface measure | SYP1ATSTTH | statement | none |
| Bogomolov–Miyaoka–Yau inequality | SYSVE5P1YN | statement | none |
| Lusternik–Schnirelmann theorem | SYVXQQK57V | statement | none |
| Kantorovich–Rubinstein duality | SYXSZD8EFK | statement | none |
| Szegő's theorem | SZ8ARMDEMY | 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 |
| Recurrence relations for Bessel functions | T4VP5QTQK6 | statement | none |
| Fourier inversion theorem | T4Z8YQZKZV | statement | none |
| Barbier's theorem | T5D9RSE0X2 | 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 |
