| Gradient points in the direction of steepest ascent | 0ZC78099PA | statement | none |
| Orbits partition the set | 0ZC7FYE0NZ | statement | none |
| g to the order of the group is the identity | 0ZEPNS9BXK | statement | none |
| Universal property of the quotient space | 0ZERJX6PH6 | statement | none |
| Transfinite induction | 0ZHQMQ2C1N | statement | none |
| Canonical isomorphism with the double dual | 0ZJM9D7NPS | statement | none |
| Absorption law | 0ZKZBJPG2J | statement | none |
| Path-connected spaces are connected | 0ZMT1GP4KM | statement | none |
| First isomorphism theorem for rings | 0ZMYX7GMH0 | statement | none |
| Determinant of a 2 by 2 matrix | 0ZN2J42SK7 | statement | none |
| K(a) is isomorphic to K[x] modulo the minimal polynomial | 0ZN39QDTP9 | statement | none |
| p-series test | 0ZNSSK8ZK1 | statement | none |
| Matrix of the dual map is the transpose | 0ZPB3180AY | statement | none |
| Tower law for indices | 0ZQJ7KEFQ5 | statement | none |
| The logarithm is strictly concave | 0ZS54B9GJF | statement | none |
| Intersection of subgroups is a subgroup | 0ZTGMDNVTB | statement | none |
| Uniqueness of limits | 0ZXJ2455NJ | statement | none |
| Second supplement to quadratic reciprocity | 0ZXW95S44M | statement | none |
| Determinant of a transpose | 0ZZQ2E1MTE | statement | none |
| Doob's upcrossing inequality | 10HFW1GRV2 | statement | none |
| Homotopy lifting for covering maps | 11FFYBNF0E | statement | none |
| Willmore conjecture | 11MYA5W3KT | statement | none |
| Weierstrass factorization theorem | 11VC51YHQJ | statement | none |
| Rokhlin's theorem | 12BXVH5W5H | statement | none |
| Huisken's theorem on convex hypersurfaces | 14RHHMGF2D | statement | none |
| Hales–Jewett theorem | 14SGZ5HA4Y | statement | none |
| Ryll-Nardzewski theorem | 1513J40TKA | statement | none |
| Nakayama's lemma | 15JHBYR6KH | statement | none |
| Abel–Ruffini theorem | 163A2WQQJX | statement | none |
| Liénard's theorem | 178GG6TXKQ | statement | none |
| Spectral theorem for unbounded self-adjoint operators | 18KPYRRPZY | statement | none |
| Artin approximation theorem | 1AFTCHDDFE | statement | none |
| Wagner's theorem | 1B2ZJPVV03 | statement | none |
| Banach–Alaoglu theorem | 1BXEJXQ2YT | statement | none |
| Dirichlet's unit theorem | 1D99CSKX6N | statement | none |
| Regular local rings are UFDs | 1HD3EK5392 | statement | none |
| Giroux correspondence | 1HTW0F4ZZ7 | statement | none |
| Compactness theorem | 1NR3HAWG9D | statement | none |
| Stone–Weierstrass theorem | 1P8D3MK79H | statement | none |
| Pettis measurability theorem | 1P9ZR606JN | statement | none |
| Krull intersection theorem | 1Q1AH2V41S | statement | none |
| Arakelyan's theorem | 1S20A3R659 | statement | none |
| Robinson–Schensted correspondence | 1SCF8X47G1 | statement | none |
| Cap set problem | 1SF8Y9M8YB | statement | none |
| Minkowski bound | 1TQ2F9CFVE | statement | none |
| Clarkson's inequalities | 1V11QM5C07 | statement | none |
| Lebesgue's theorem on differentiability of monotone functions | 1Y4N1DDQNR | statement | none |
| Loewner's torus inequality | 1Y9X1YW6GH | statement | none |
| Newton–Kantorovich theorem | 1YDR94WQMZ | statement | none |
| Lickorish–Wallace theorem | 1YP4RF1QXV | statement | none |
| Radon–Nikodym theorem | 1ZSZS5G1Q4 | statement | none |
| Berger's classification of holonomy groups | 20GTNPF5V6 | statement | none |
| Paley–Zygmund inequality | 211PJYW8W6 | statement | none |
| Zassenhaus lemma | 21JJ523V95 | statement | none |
| Nonexistence of infinite-dimensional Lebesgue measure | 23DM2PQC78 | statement | none |
| Cohn's irreducibility criterion | 246SBC2M2N | statement | none |
| Osgood uniqueness criterion | 2AHNVSH76M | statement | none |
| Artin's induction theorem | 2CABBY4EEB | statement | none |
| Martingale representation theorem | 2E8MQXDYNV | statement | none |
| Von Neumann's theorem on self-adjoint extensions | 2FE4P23NVC | statement | none |
| Whitney embedding theorem | 2GSRBDT96M | statement | none |
| Itô's lemma | 2J1RVQB0CM | statement | none |
| Weyl's law | 2JK9YMZV2B | statement | none |
| Eberlein–Šmulian theorem | 2MTN8CQWME | statement | none |
| Hahn decomposition theorem | 2PKHANZ8JS | statement | none |
| Jordan–Brouwer separation theorem | 2Q008XWQDE | statement | none |
| Classification of surfaces | 2SFM73YET0 | statement | none |
| Monotone class theorem | 2T33SA540E | statement | none |
| Beurling's theorem | 2V1DXXM9FA | statement | none |
| Matlis duality | 2V9BR5XX6A | statement | none |
| Z* theorem | 2XCJ8NNMXP | statement | none |
| Cartan formula | 2YPJ39STQM | statement | none |
| Schwartz kernel theorem | 2ZKWZ0A4MT | statement | none |
| Kirszbraun theorem | 2ZM39HSFTQ | statement | none |
| Lyapunov's convexity theorem | 2ZTQX5M0TK | statement | none |
| Artin–Rees lemma | 30H6B0G2FT | statement | none |
| Jones index theorem | 31N0FH22ZT | statement | none |
| Cauchy–Pompeiu formula | 345DJTSPHM | statement | none |
| Donaldson's theorem | 34B7K77P31 | statement | none |
| Jacobi's formula | 357FEAZ0Q4 | statement | none |
| Lovász local lemma | 35YQ94FNV1 | statement | none |
| Nilradical is the intersection of the prime ideals | 3CZ8PXR9JY | statement | none |
| Gelfand–Mazur theorem | 3D6XH41A3B | statement | none |
| Vector fields on spheres | 3ES79NWRS7 | statement | none |
| Ending lamination theorem | 3EVAF9NG5Z | statement | none |
| Löb's theorem | 3HD30YG3DG | statement | none |
| Cramér–Wold theorem | 3HFP9ZQ580 | statement | none |
| Gelfand's formula | 3KX0KQ7V05 | statement | none |
| Birkhoff–von Neumann theorem | 3KY1RMEDMJ | statement | none |
| Brouwer's characterization of the Cantor space | 3NKBCNH5JS | statement | none |
| Diagonal lemma | 3PRW76471J | 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 |
| Commutant lifting theorem | 3TVXB7X266 | statement | none |
| Hermite–Hadamard inequality | 3VB65PEZQS | statement | none |
| Schoenflies theorem | 3VX06XRVZG | statement | none |
| Tarski–Seidenberg theorem | 3W5JGDZAN0 | statement | none |
| Wiener–Khinchin theorem | 3ZXN26PW4G | statement | none |
| Ahlswede–Daykin inequality | 4085B8A528 | statement | none |
| Cartan–Hadamard theorem | 428R02EYWS | statement | none |
| Scheffé's lemma | 44RN97ZXDZ | statement | none |
| Löwenheim–Skolem theorem | 484M0TZ1S7 | statement | none |
| Jensen's formula | 497K99BQ4Y | statement | none |
| Weierstrass preparation theorem | 49JSD49P7X | 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 |
| Quillen's theorem on complex cobordism | 4E518M24MA | statement | none |
| Doob's martingale inequality | 4G53E7BRXF | statement | none |
| Fredholm alternative | 4HH8C9V8JQ | statement | none |
| Max-flow min-cut theorem | 4HMR4KQ01T | statement | none |
| Mazur–Ulam theorem | 4J4EW7FXWW | statement | none |
| Barbalat's lemma | 4KPNX1SZYR | statement | none |
| Siegel's theorem on integral points | 4KTBRP27P6 | statement | none |
| Artin–Tate lemma | 4MBR0W0S6N | statement | none |
| Portmanteau theorem | 4SSJ589G6T | statement | none |
| Feldman–Hájek theorem | 4TXG13F5N0 | statement | none |
| Nevanlinna–Pick interpolation | 4VMSSYB5DN | statement | none |
| Dehn–Sommerville equations | 4WKHF5BCTA | statement | none |
| Poincaré–Hopf theorem | 4XTPY82PP4 | statement | none |
| Paris–Harrington theorem | 509ZWA0R26 | statement | none |
| Monodromy theorem | 54QMKJF64A | 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 |
| Artin–Schreier theorem | 58P0EGAFVV | statement | none |
| Perron's irreducibility criterion | 5BCRQYVYR8 | statement | none |
| Karhunen–Loève theorem | 5CN7KY8MWP | statement | none |
| Atiyah–Guillemin–Sternberg convexity theorem | 5CTHC6612N | statement | none |
| Uniformization theorem | 5EJ7SW1RCV | statement | none |
| Integral extensions of fields | 5GCANV7337 | statement | none |
| Minkowski's second theorem | 5H4XZVF9B9 | statement | none |
| Lasker–Noether theorem | 5H8Z56KXMS | statement | none |
| Mergelyan's theorem | 5KKCSZJC29 | statement | none |
| Itô isometry | 5MDK7HSYRM | statement | none |
| Frobenius theorem | 5Q4BHBFXJY | statement | none |
| Norm residue isomorphism theorem | 5Q5VN56QH4 | statement | none |
| Sphere theorem for 3-manifolds | 5QAFGPAZ4A | statement | none |
| Milnor conjecture on slice genus of torus knots | 5SDA7ZXT95 | statement | none |
| May recognition principle | 5SMK5KEBQE | statement | none |
| High indices theorem | 5VN386XHGA | statement | none |
| Hille–Yosida theorem | 5YR4GJKPCV | statement | none |
