| The integers are a Euclidean domain | 000JFQGDXG | statement | none |
| Sequential characterization of limits | 000MXHEY22 | statement | none |
| Singular value decomposition | 000NPTMX6J | statement | none |
| Power series are differentiable inside the radius of convergence | 002X7EK91H | statement | none |
| A function with zero derivative is constant | 003QDZ4T16 | statement | none |
| Closure is the set of limits of sequences | 003QP7A8HG | statement | none |
| A differentiable function is convex iff its derivative is increasing | 005JT76HCK | statement | none |
| Taylor's theorem with the Cauchy remainder | 005Q84BMAD | statement | none |
| The characteristic of an integral domain is zero or prime | 00758QM6JJ | statement | none |
| Dimension of the dual space | 00889YD15K | statement | none |
| Scaling a row scales the determinant | 009CY8JXFX | statement | none |
| Stars and bars | 009TEMTQKH | statement | none |
| Picard–Lindelöf theorem in integral form | 00BT70ND50 | statement | none |
| Finite intersection property | 00BWV5CKCF | statement | none |
| Addition formula for Fibonacci numbers | 00CN2F997Q | statement | none |
| The logarithm grows slower than any power | 00DGYY10FV | statement | none |
| Laws of exponents in a group | 00DRK90Z6K | statement | none |
| −1 is a square modulo p if and only if p is not 3 modulo 4 | 00DW862T78 | statement | none |
| Congruence is compatible with addition | 00FWBN7F0Y | statement | none |
| Intermediate value theorem | 00KAFBR32E | statement | none |
| Modulus of the conjugate | 00KRCVE7CK | statement | none |
| Every vector space has a basis | 00MS9VMQ9Z | statement | none |
| Change of variables in multiple integrals | 00N5FHP1CV | statement | none |
| Derivative of sine | 00R4MWW532 | statement | none |
| Divergence of the sum of the reciprocals of the primes | 00RA98X2CP | statement | none |
| Ramsey's theorem | 00TQV3F5S4 | statement | none |
| A finite group is nilpotent iff it is the product of its Sylow subgroups | 00Y9N80VSS | statement | none |
| Volume of a ball in R^n | 00YH28R457 | statement | none |
| Additivity of line integrals under concatenation | 00ZEBSMNNV | statement | none |
| Uniqueness of finite fields of a given order | 010PKCQPXP | statement | none |
| Hensel's lemma | 010QVB71T2 | statement | none |
| Recurrence for Bell numbers | 0110GBHPPB | statement | none |
| A convex function on an open interval is continuous | 011HV2GAWF | statement | none |
| Jordan–Chevalley decomposition | 011K11VPJN | statement | none |
| 1 + x is at most exp x | 012C7GFF20 | statement | none |
| exp z = 1 iff z is an integer multiple of 2πi | 013AHC4DRT | statement | none |
| Existence of splitting fields | 01441KDGBY | statement | none |
| Chernoff bound | 014PEBGDYF | statement | none |
| Cayley's theorem | 0151VYVX27 | statement | none |
| Integral equation form of an initial value problem | 015KK993C5 | statement | none |
| Leibniz formula for determinants | 016PE4VZ8Q | statement | none |
| Riemann's criterion for integrability | 017DH8WXTE | statement | none |
| Dyck words are counted by Catalan numbers | 017SRZ7NE9 | statement | none |
| Rolle's theorem | 0194DY35BG | statement | none |
| Residue at a simple pole | 01991NCP7H | statement | none |
| Derivative of the complex exponential | 019H1Z6419 | statement | none |
| Integral test | 019QZ6RRVH | statement | none |
| First derivative test | 01A2EGXJEM | statement | none |
| cos pi = -1 | 01A8JGR4JM | statement | none |
| Distance from a point to a line | 01AAYNSBN6 | statement | none |
| Chapman–Kolmogorov equation | 01APZ8GDQH | statement | none |
| Well-ordering principle | 01BX15HSRR | statement | none |
| The complex numbers cannot be ordered | 01CJRJKDAA | statement | none |
| Normality via left and right cosets | 01E7SWYJX3 | statement | none |
| Determinant of a scalar multiple | 01EXSMK864 | statement | none |
| Extensions of solvable groups are solvable | 01EY0EM7RP | statement | none |
| Urysohn's lemma | 01EY3VR7ZD | statement | none |
| Composition of injections is injective | 01FPXMTBX1 | statement | none |
| Equivalence classes form a partition | 01HT2CH8BH | statement | none |
| Vandermonde's identity | 01JADB9VW5 | statement | none |
| Triangle inequality for a metric | 01M6CW9VM6 | statement | none |
| Cauchy's integral theorem | 01MPZXYVYF | statement | none |
| sin x / x tends to 1 | 01QSSKS5C1 | statement | none |
| Sum of the first n natural numbers | 01QZNHQWYD | statement | none |
| A graph is bipartite iff it has no odd cycle | 01R1HPEK6S | statement | none |
| Symmetry of second derivatives | 01V9FPBBVK | statement | none |
| Bijective iff it has a two-sided inverse | 01VG2A0BHW | statement | none |
| Uniqueness of the algebraic closure | 01VQ7C4FTB | statement | none |
| Cantor set is closed | 01VT24J1SD | statement | none |
| Arguments add under multiplication | 01W6RKJP01 | statement | none |
| Legendre's formula | 01WPV9PHN7 | statement | none |
| Cassini's identity | 01WQZK97Z5 | statement | none |
| Adding a multiple of one row to another preserves the determinant | 01ZTQBK64Q | statement | none |
| Law of the unconscious statistician | 01ZWX875AT | statement | none |
| Carathéodory's theorem | 0201Q4P2B5 | statement | none |
| Euler's theorem on Eulerian circuits | 020422MDQF | statement | none |
| Existence of prime factorization | 020K0X7HVR | statement | none |
| Darboux and Riemann integrals agree | 021XJAQVDC | statement | none |
| Uniqueness of solutions for Lipschitz vector fields | 025PKW8AMR | statement | none |
| A function with nonnegative derivative is increasing | 026BJBQNGJ | statement | none |
| Uniformly continuous functions map Cauchy sequences to Cauchy sequences | 026FDZFRXS | statement | none |
| Parallelogram law | 026HPGYGS4 | statement | none |
| Quotients of solvable groups are solvable | 027ZQS04SJ | statement | none |
| Angle addition formulas | 028XEQCE88 | statement | none |
| Euclid's theorem | 0292EPPPT0 | statement | none |
| Holomorphic functions on a disc have primitives | 02AC7JR6G6 | statement | none |
| Eisenstein's criterion | 02BPKD7TMD | statement | none |
| Mean value inequality | 02CYB184RC | statement | none |
| Open balls form a basis of the metric topology | 02EEX96DFS | statement | none |
| Rank of a product of matrices | 02FDWY55AS | statement | none |
| Casorati–Weierstrass theorem | 02HHNPC8ED | statement | none |
| Existence of maximal ideals | 02HJYT53F7 | statement | none |
| Chebyshev's inequality | 02HZ1BK3MW | statement | none |
| Isometries are injective | 02J4G4J4TJ | statement | none |
| Characteristic function of a sum of independent random variables | 02JGYG0T7M | statement | none |
| Power series of sine | 02KTRHQMHN | statement | none |
| The complex exponential is 2πi-periodic | 02P2PYH3X3 | statement | none |
| Sum of the roots of unity | 02PETK9PQ4 | statement | none |
| Cauchy mean value theorem | 02SYZAWM2K | statement | none |
| Closure is closed | 02TZDKG50Q | statement | none |
| Decreasing sequence bounded below converges | 02V2GYAC8P | statement | none |
| Riemann mapping theorem | 02WHMEG5ZR | statement | none |
| K5 and K3,3 are not planar | 030A3FHN14 | statement | none |
| The real part of a holomorphic function is harmonic | 031BG625Y3 | statement | none |
| A tangent is perpendicular to the radius | 031JV5S54D | statement | none |
| Order of a cyclic subgroup equals the order of its generator | 031M8HX7DA | statement | none |
| Residue theorem | 032HKYS329 | statement | none |
| Factorial formula for binomial coefficients | 033KTKKRV6 | statement | none |
| Formula for the modulus | 034FGCEYX4 | statement | none |
| Triangularisation | 0363JMQ42Y | statement | none |
| Gauss's lemma on quadratic residues | 037ACYXB5Z | statement | none |
| Leibniz formula for pi | 037FD5NBRT | statement | none |
| Arzelà–Ascoli theorem | 0381S8Z5P0 | statement | none |
| Freshman's dream | 0396VGFA78 | statement | none |
| Taylor's theorem with the Peano remainder | 03AJHX431A | statement | none |
| Generalized Euclid's lemma | 03BAREW1Z5 | statement | none |
| Law of total variance | 03BY5XTNA4 | statement | none |
| Variance of the normal distribution | 03EESZDB9A | statement | none |
| Vector triple product | 03FTB26QYD | statement | none |
| Chain rule for Jacobian matrices | 03GGQEAG9S | statement | none |
| Pythagorean trigonometric identity | 03H7WZ4T3K | statement | none |
| Triangle inequality | 03HF5PMY5T | statement | none |
| Mean value theorem in several variables | 03HGK7EW6R | statement | none |
| Wilson's theorem | 03KGGKTB2E | statement | none |
| Equivalence of norms in finite dimension | 03MC70ZRNR | statement | none |
| de Moivre's formula | 03MTBVG3VE | statement | none |
| Vectors are perpendicular if and only if their dot product is zero | 03NK6RSRQ1 | statement | none |
| Cauchy–Schwarz inequality for expectations | 03PGHKAJG3 | statement | none |
| A matrix is invertible iff its determinant is a unit | 03Q7RE2HXR | statement | none |
| Complement principle | 03QC59M99B | statement | none |
| Taylor's theorem | 03QHBVW4TT | statement | none |
| Formula for the number of derangements | 03RSJXF728 | statement | none |
| Limit of a quotient of sequences | 03S6GWWKEZ | statement | none |
| Sum of a finite geometric progression | 03X8V7D64M | statement | none |
| Open mapping theorem | 03YEM7JEDN | statement | none |
| C^1 vector fields satisfy the Picard–Lindelöf hypotheses | 03Z9V0Y78A | statement | none |
| Binet's formula | 0404D8TN7Y | statement | none |
| Lebesgue number lemma | 040CFNJEAP | statement | none |
| Subgroups of a finite cyclic group correspond to divisors of its order | 0423TXR9AN | statement | none |
| Rational canonical form | 042JWAR3Q0 | statement | none |
| Continuous bijection from a compact space to a Hausdorff space is a homeomorphism | 0430ETCMKD | statement | none |
| Uniform limits of holomorphic functions are holomorphic | 0431RN0R1N | statement | none |
| Fermat's theorem on sums of two squares | 043B3ENSTY | statement | none |
| The derangement numbers count derangements | 045ENVCCZV | statement | none |
| Monotonicity of probability | 0464Z0JP2E | statement | none |
| Every real number has a decimal expansion | 047KEVEZ9Q | statement | none |
| Parseval's identity | 047RFCNVSK | statement | none |
| Maximum modulus principle | 048F2P90WR | statement | none |
| Lagrange multiplier with one constraint | 04A2XEX4D4 | statement | none |
| Exponential of a sum of commuting matrices | 04BD23PSK5 | statement | none |
