| Jacobi's formula | 357FEAZ0Q4 | statement | none |
| Baker's finite basis theorem | 35G4HQG2FN | statement | none |
| Abel–Jacobi theorem | 35KB1QCD3Z | statement | none |
| Lovász local lemma | 35YQ94FNV1 | statement | none |
| Albert–Brauer–Hasse–Noether theorem | 361GJ6QWAR | statement | none |
| Sacks–Uhlenbeck bubbling | 36WNFJTRRR | statement | none |
| Marcinkiewicz multiplier theorem | 375ZGE0V2W | statement | none |
| Plateau's laws | 381RB634WS | statement | none |
| Bourget's hypothesis | 38D9RPAXQ8 | statement | none |
| Borel–Harish-Chandra theorem | 3B451RD8AJ | statement | none |
| Milnor fibration theorem | 3CGMRT9W7J | statement | none |
| Erdős–Mordell inequality | 3CJEWF0Y3F | statement | none |
| Fourier transform of radial functions | 3CSEGRAD75 | statement | none |
| Hilbert–Schmidt expansion theorem | 3CXAZ1G5RJ | statement | none |
| Nilradical is the intersection of the prime ideals | 3CZ8PXR9JY | statement | none |
| Gelfand–Mazur theorem | 3D6XH41A3B | statement | none |
| L2 convergence of Fourier series | 3DGHC142FT | statement | none |
| Vector fields on spheres | 3ES79NWRS7 | statement | none |
| Ending lamination theorem | 3EVAF9NG5Z | statement | none |
| Universal property of free algebras | 3F2W916W64 | statement | none |
| T(1) theorem | 3FBF628XEF | statement | none |
| Cheng–Yau gradient estimate | 3G1CJ6HJMK | statement | none |
| Hurwitz's automorphisms theorem | 3GNKSCQSCD | statement | none |
| Removable singularities for harmonic functions | 3H6SQA6JWM | statement | none |
| Löb's theorem | 3HD30YG3DG | statement | none |
| Cramér–Wold theorem | 3HFP9ZQ580 | statement | none |
| Leapfrog integration | 3HGJCQBWVY | statement | none |
| Grothendieck–Riemann–Roch theorem | 3HKREN3Y3F | statement | none |
| Minimal residual method | 3HRHSHTG9C | statement | none |
| Honeycomb theorem | 3JST9B967R | statement | none |
| Minimum principle for harmonic functions | 3KP89PT5P3 | statement | none |
| Gelfand's formula | 3KX0KQ7V05 | statement | none |
| Birkhoff–von Neumann theorem | 3KY1RMEDMJ | statement | none |
| Number of points of a finite projective plane | 3MHF6QBW4Q | statement | none |
| Ultrafilter lemma | 3MKZST79MK | statement | none |
| Gabriel–Popescu theorem | 3MP41FQHZ5 | statement | none |
| Ratner's theorems | 3MXR03096V | statement | none |
| Milnor–Thurston kneading theory | 3N54R6HR05 | statement | none |
| Closed subgroup theorem | 3NJGY8QSTE | statement | none |
| Brouwer's characterization of the Cantor space | 3NKBCNH5JS | statement | none |
| Thue's theorem | 3P246RHXMF | statement | none |
| Lyusternik's theorem on tangent spaces | 3PGXH0T1K6 | statement | none |
| Diagonal lemma | 3PRW76471J | statement | none |
| Convergence of the Neumann series for Volterra kernels | 3QDDSSH4FB | statement | none |
| Wigner semicircle law | 3QTT95DMFH | statement | none |
| Bendixson–Dulac theorem | 3QWVVM56JF | statement | none |
| Poincaré conjecture | 3R064KFF68 | statement | none |
| Hurwitz's theorem (number theory) | 3RDB8B5GFA | statement | none |
| Michael selection theorem | 3RJ1K36A9A | statement | none |
| Transfer principle | 3RT74FQYG1 | statement | none |
| Characterization of Shannon entropy | 3TERJ5C8QK | statement | none |
| Brianchon's theorem | 3THE3Q96KK | statement | none |
| Commutant lifting theorem | 3TVXB7X266 | statement | none |
| Hermite–Hadamard inequality | 3VB65PEZQS | statement | none |
| Hartman's uniqueness theorem for harmonic maps | 3VMJGQCD7S | statement | none |
| Rückert Nullstellensatz | 3VRZ80X45P | statement | none |
| Schoenflies theorem | 3VX06XRVZG | statement | none |
| Tarski–Seidenberg theorem | 3W5JGDZAN0 | statement | none |
| Polar sets and Brownian hitting | 3WJFWAGKXR | statement | none |
| Durand–Kerner method | 3X6C5SC7AF | statement | none |
| Hardy's uncertainty principle | 3XC1C1NC0M | statement | none |
| Wiener–Khinchin theorem | 3ZXN26PW4G | statement | none |
| Kolmogorov–Arnold–Moser theorem | 3ZZSXKM16Z | statement | none |
| Ahlswede–Daykin inequality | 4085B8A528 | statement | none |
| Minimum degree algorithm | 4135XQ4WHK | statement | none |
| Cartan–Hadamard theorem | 428R02EYWS | statement | none |
| Riemann–Hurwitz formula | 42A5ZT6AWN | statement | none |
| Kahane–Katznelson theorem | 42DDDZHP7F | statement | none |
| Interlacing of zeros of orthogonal polynomials | 43DXNAFZ9T | statement | none |
| Scheffé's lemma | 44RN97ZXDZ | statement | none |
| Minakshisundaram–Pleijel asymptotic expansion | 45P2SEGGR1 | statement | none |
| Regula falsi | 462AEY7MWF | statement | none |
| Jordan–von Neumann theorem | 46WGVM5VS6 | statement | none |
| Clenshaw algorithm | 476ZQPMZHP | statement | none |
| Löwenheim–Skolem theorem | 484M0TZ1S7 | statement | none |
| Young's inequality for integral operators | 48NS4ZCSR3 | statement | none |
| Jensen's formula | 497K99BQ4Y | statement | none |
| Weierstrass preparation theorem | 49JSD49P7X | statement | none |
| Fefferman's ball multiplier theorem | 4A5MJY4XPV | statement | none |
| Hamiltonian Monte Carlo | 4AHBMJYCX1 | statement | none |
| Schoenberg's embedding criterion | 4B0R70F4VE | statement | none |
| Mostow rigidity theorem | 4BEWKR0EG7 | statement | none |
| Solution of equations with degenerate kernels | 4BY024AVR8 | statement | none |
| Quartic formula | 4CDFMKKZ01 | statement | none |
| Ramanujan–Petersson conjecture | 4CDFWST967 | statement | none |
| Galois group of a prime degree polynomial with two nonreal roots | 4CMPPTSJNP | statement | none |
| g-theorem | 4CZMWQVC30 | statement | none |
| Carathéodory's existence theorem | 4D090WJ84H | statement | none |
| Center manifold theorem | 4DEGC6JADR | statement | none |
| van Dantzig's theorem | 4E4RXKV9W3 | statement | none |
| Quillen's theorem on complex cobordism | 4E518M24MA | statement | none |
| Dini–Lipschitz criterion | 4EH60YPD9Q | statement | none |
| Wald–Wolfowitz optimality of the sequential probability ratio test | 4F0N5J5QT2 | statement | none |
| Doob's martingale inequality | 4G53E7BRXF | statement | none |
| XYZ inequality | 4GG1HGDEZC | statement | none |
| Fredholm alternative | 4HH8C9V8JQ | statement | none |
| Max-flow min-cut theorem | 4HMR4KQ01T | statement | none |
| Legendre condition | 4HZX2EN319 | statement | none |
| Mazur–Ulam theorem | 4J4EW7FXWW | statement | none |
| Kahan summation algorithm | 4JAEKN22Y5 | statement | none |
| Turán's inequalities | 4K3D632K60 | statement | none |
| Hom-set characterization of adjunctions | 4KCECXYW81 | statement | none |
| Barbalat's lemma | 4KPNX1SZYR | statement | none |
| Siegel's theorem on integral points | 4KTBRP27P6 | statement | none |
| Artin–Tate lemma | 4MBR0W0S6N | statement | none |
| Mehta integral | 4N53T1BZ9S | statement | none |
| Smoothing by convolution | 4P7KPA3Y7R | statement | none |
| Strichartz estimate | 4PDKJ8N1S9 | statement | none |
| Importance sampling | 4PPT08K2M1 | statement | none |
| Stein factorization | 4READX002Z | statement | none |
| Harish-Chandra embedding | 4RXXE3BB6W | statement | none |
| Oppenheim conjecture | 4S50G4PS26 | statement | none |
| Maschke's theorem | 4SBZ4EMPBZ | statement | none |
| Portmanteau theorem | 4SSJ589G6T | statement | none |
| Feldman–Hájek theorem | 4TXG13F5N0 | statement | none |
| Nevanlinna–Pick interpolation | 4VMSSYB5DN | statement | none |
| Fredholm series for the resolvent | 4W0EG94RZ5 | statement | none |
| Lichnerowicz formula | 4WCJ49Z90S | statement | none |
| Dehn–Sommerville equations | 4WKHF5BCTA | statement | none |
| Céa's lemma | 4X6WC3E7P8 | statement | none |
| Poincaré–Hopf theorem | 4XTPY82PP4 | statement | none |
| Iwasawa decomposition of a Lie group | 4YDR9Q36DS | statement | none |
| Chu–Vandermonde identity | 4YK46R1QDR | statement | none |
| Universal property of the free magma | 4YN1TB9CXN | statement | none |
| Benedicks' theorem | 4ZY2D6C8A6 | statement | none |
| Birkhoff's HSP theorem | 5083DHSK82 | statement | none |
| Paris–Harrington theorem | 509ZWA0R26 | statement | none |
| Stirling's formula for the gamma function | 53750WSJ6K | statement | none |
| Bochner's classification of orthogonal polynomial eigenfunctions | 53MWMX2HWT | statement | none |
| Weierstrass product for the gamma function | 53MZ2DGDTQ | statement | none |
| Consistency of the maximum likelihood estimator | 54387XJ9QW | statement | none |
| Monodromy theorem | 54QMKJF64A | statement | none |
| Godunov's theorem | 559N53ZTMV | statement | none |
| Fodor's lemma | 55W1M20Q3F | statement | none |
| Class number formula | 55XX5A7XZV | statement | none |
| Hochster–Roberts theorem | 56107GMFYV | statement | none |
| h-cobordism theorem | 56YF8W9NXP | statement | none |
| Lieb–Thirring inequality | 572QKEYYKX | statement | none |
| Giraud's theorem | 57BXX32WF0 | statement | none |
| Dolbeault–Grothendieck lemma | 5858M5PGN6 | statement | none |
| Griffiths transversality | 589GJMH5EF | statement | none |
| Artin–Schreier theorem | 58P0EGAFVV | statement | none |
| Kac's theorem | 59QJC3ZXA1 | statement | none |
| Perron's irreducibility criterion | 5BCRQYVYR8 | statement | none |
| Parseval formula for the Mellin transform | 5BR72MMAPV | statement | none |
| Hardy inequality in Sobolev spaces | 5CHFRPQ03W | statement | none |
| Karhunen–Loève theorem | 5CN7KY8MWP | statement | none |
| Atiyah–Guillemin–Sternberg convexity theorem | 5CTHC6612N | statement | none |
| Minkowski–Weyl theorem | 5DFMMGGD9Y | statement | none |
| Uniformization theorem | 5EJ7SW1RCV | statement | none |
