| Hahn–Mazurkiewicz theorem | Q5QFYKD004 | statement | none |
| Property P conjecture | Q630X0VHAE | statement | none |
| Spectral mapping theorem for polynomials | Q71WX8HFYT | statement | none |
| Surgery exact sequence | Q7C480HQ9J | statement | none |
| Lévy–Khintchine representation | Q82B4H4Z4J | statement | none |
| Carathéodory's extension theorem | Q8EXG7EKYW | statement | none |
| Banach–Stone theorem | Q8FERXTZ8B | statement | none |
| Gödel's consistency of CH and AC | Q9176JRJ5M | statement | none |
| Murray–von Neumann classification of factors | QAWDC7SWKC | statement | none |
| Hahn–Banach theorem | QB5AE3VYZZ | statement | none |
| Banach–Mazur theorem | QC5MB5WM8F | statement | none |
| Hopf–Rinow theorem | QCCD2JNFBT | statement | none |
| Lidskii's theorem | QD23PJR6RP | statement | none |
| Frobenius theorem on real division algebras | QDJ7PQE9SW | statement | none |
| Rademacher's theorem | QEY26RT19R | statement | none |
| Blakers–Massey theorem | QF764XKBA3 | statement | none |
| Bohr–Mollerup theorem | QFF87AXWN2 | statement | none |
| Borsuk–Ulam theorem | QHJ0GBQE2E | statement | none |
| Gysin sequence | QJSPWM9F9P | statement | none |
| First main theorem of Nevanlinna theory | QJWCFAK4AK | statement | none |
| Coarea formula | QK55379SXW | statement | none |
| Moore–Osgood theorem | QN2210XCST | statement | none |
| Gentzen's consistency proof | QPV0HNP22S | statement | none |
| Schreier refinement theorem | QQAWHC9X60 | statement | none |
| Cheeger–Gromoll splitting theorem | QV75TT6131 | statement | none |
| Sanov's theorem | QWEF2WAXJM | statement | none |
| Nonemptiness of the spectrum | QWQC5SV0SD | statement | none |
| Solvability of x^n - a | QWXD1Z9V8F | statement | none |
| Tits alternative | QYXGVES1XM | statement | none |
| Hilbert's syzygy theorem | R0DSZPRG6T | 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 |
| 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 |
| Gromov's non-squeezing theorem | RDX55HQ3XT | statement | none |
| Fundamental identity for ramification and inertia | REJDQ6BTQV | statement | none |
| Bing metrization theorem | RGCZ2P9QRM | statement | none |
| Whitney extension theorem | RH2EZGYGAW | statement | none |
| Beth definability theorem | RJBDSA2ETP | statement | none |
| Jensen's covering theorem | RJE1W5NRE3 | 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 |
| Apéry's theorem | RT5MJT6CTB | 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 |
| 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 |
| 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 |
| Unique factorization of ideals in a Dedekind domain | S6PHT75MEK | statement | none |
| Hardy's inequality | S7A8YFGG8X | statement | none |
| Chebyshev's sum inequality | S8X2N1DW8P | statement | none |
| Fatou's lemma | S95TR54TCG | 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 |
| 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 |
| 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 |
| 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 |
| Descartes' rule of signs | T6DQQ36JZ5 | statement | none |
| Bruhat decomposition | T91E86D0RH | statement | none |
| Krull's height theorem | TBRTZMHFTV | statement | none |
| Peixoto's theorem | TDCY8TASCS | statement | none |
| Kaplansky density theorem | TDTMMY7RK1 | statement | none |
| Hirzebruch signature theorem | TEG1ZX1AGJ | statement | none |
| Paley–Wiener theorem | THY12GPZ8C | statement | none |
| Schur product theorem | TM1RE1G7JK | 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 |
| 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 |
| Homotopy invariance of homology | V313FN8HRW | statement | none |
| Eilenberg–Zilber theorem | V3G5YQTQ00 | statement | none |
| Regular local rings are domains | V3ZBMRKC08 | 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 |
| 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 |
| Galois' theorem on solvability | VHCWCFA3MX | statement | none |
| Slice theorem | VQB2N60ARE | statement | none |
| Chow–Rashevskii theorem | VQPN24VDH1 | statement | none |
| Kolmogorov–Arnold representation theorem | VQXDB9T838 | statement | none |
| Herbrand's theorem | VZ21F10WRS | statement | none |
| Lévy's upward theorem | W01FD2A8NK | statement | none |
| Quartic reciprocity | W0M20JWC9K | statement | none |
| De Finetti's theorem | W19129PVKQ | statement | none |
| Harris inequality | W1YH3YD3S4 | statement | none |
| Serre's criterion for normality | W27Z60Q1PF | statement | none |
| Balog–Szemerédi–Gowers theorem | W5BZZ59CVM | statement | none |
