| Existence of finite fields of every prime power order | 0T8M3YC5RG | statement | none |
| Axiom of extensionality | 0TB16T2C97 | statement | none |
| The successor function is injective | 0TBYMWPWWB | statement | none |
| Dirac's theorem on Hamiltonian cycles | 0TC99BRSSB | statement | none |
| C^k function characterised by continuous derivatives | 0TCBZMEYGN | statement | none |
| Product of the gcd and the lcm | 0TDY6JZHKS | statement | none |
| Remainder theorem | 0TEDQH56RW | statement | none |
| Reduction of a higher-order equation to a first-order system | 0TH9CPW3VS | statement | none |
| Third isomorphism theorem | 0TJ1V9DDPC | statement | none |
| Term-by-term differentiation | 0TJ8QBJX5K | statement | none |
| Bounded derivative on a convex set implies Lipschitz | 0TKG7T3K0E | statement | none |
| An algebraic extension of an algebraic extension is algebraic | 0TPWS0K1BC | statement | none |
| Product of a subgroup and a normal subgroup is a subgroup | 0TXWV1JGG1 | statement | none |
| Characteristic polynomial does not depend on the basis | 0TYMASG33Y | statement | none |
| Surjective iff it has a right inverse | 0TYQNHVB4C | statement | none |
| Row rank equals column rank | 0TZAG60ZYT | statement | none |
| Variance of a sum of independent random variables | 0V0778DCW9 | statement | none |
| Sign of a cycle | 0V0E04DWX2 | statement | none |
| Frobenius coin problem | 0V11FEXK08 | statement | none |
| Derivative of cosine | 0V2DV29EGT | statement | none |
| Intersection of subspaces | 0V33SPH7RR | statement | none |
| Continuous real function on a compact set attains its bounds | 0V4DET59NW | statement | none |
| Fibonacci numbers as sums of binomial coefficients | 0V4VB6MQDC | statement | none |
| Logarithm of a power | 0V948DE5KA | statement | none |
| First Sylow theorem | 0V98WY94B8 | statement | none |
| Product rule | 0V9A43H7WV | statement | none |
| Dirichlet's test | 0V9ME8GQE7 | statement | none |
| Multiplicativity of the Möbius function | 0VB9G5B034 | statement | none |
| Kummer's theorem | 0VBWK9XYDG | statement | none |
| Euler's theorem | 0VC4DVE7DQ | statement | none |
| Morera's theorem | 0VDD7W0EKZ | statement | none |
| Volume of a box | 0VEKNG02W0 | statement | none |
| Every polynomial has a root in some extension field | 0VG02M1FEZ | statement | none |
| Product of continuous functions is continuous | 0VGMHCF4SC | statement | none |
| Continuity is equivalent to sequential continuity in metric spaces | 0VGPKZ8MRK | statement | none |
| Abel's identity | 0VGWKX2JHB | statement | none |
| Subsequences of a convergent sequence converge to the same limit | 0VHAVXW08V | statement | none |
| Finite-dimensional spaces are isomorphic iff they have equal dimension | 0VJBSK15SN | statement | none |
| De Morgan's laws for sets | 0VK0W4D5Y5 | statement | none |
| Size of a conjugacy class is the index of the centraliser | 0VK5V9P8G3 | statement | none |
| Banach fixed point theorem | 0VK6VEH345 | statement | none |
| Lagrange multipliers | 0VKKP8X6Q6 | statement | none |
| Cartan–Dieudonné theorem | 0VMWGYY35Q | statement | none |
| If 2^n + 1 is prime then n is a power of 2 | 0VN4H8M12X | statement | none |
| Polynomials of degree two or three are irreducible iff they have no roots | 0VNE161QCK | statement | none |
| Pythagorean theorem | 0VP3A1290K | statement | none |
| Rule of product | 0VPK4X73Q0 | statement | none |
| A tree on n vertices has n − 1 edges | 0VSNHTHK8T | statement | none |
| Minimal polynomial divides every annihilating polynomial | 0VTAD25A3G | statement | none |
| Order of a power | 0VVPQNVM8S | statement | none |
| Term test | 0VVY4H92G2 | statement | none |
| Euler line | 0VX0CPRQTZ | statement | none |
| Gradient is orthogonal to level sets | 0VXYV3NQQ1 | statement | none |
| Bézout's identity in a Euclidean domain | 0VY3WPP9Y3 | statement | none |
| Compact closed unit ball implies finite dimension | 0VZVV8VME5 | statement | none |
| Continuous functions on a closed bounded interval are uniformly continuous | 0W0TZDRF9C | statement | none |
| Euler's formula for planar graphs | 0W1C598HMS | statement | none |
| Line integral as an integral over the parameter interval | 0W3W1VYWBP | statement | none |
| Complete subspaces are closed | 0W41XG4W60 | statement | none |
| Rank–nullity theorem | 0W4FSW1TVB | statement | none |
| Irrationality of e | 0W4GQSG7B6 | statement | none |
| Law of total probability for an event and its complement | 0W62TKMW7V | statement | none |
| Epsilon-delta definition of continuity | 0W8YHHGCJG | statement | none |
| Chinese remainder theorem for rings | 0W97J8QED7 | statement | none |
| Time translation of solutions of an autonomous system | 0WA7ZR95V4 | statement | none |
| Trace of a linear map is the trace of its matrix | 0WCPH5Z7FA | statement | none |
| R/M is a field iff M is maximal | 0WD3SE7S1X | statement | none |
| Euclid–Euler theorem | 0WETJCKNRG | statement | none |
| Sylvester's law of inertia | 0WFED3K3DQ | statement | none |
| Newton's identities | 0WG2A3HE0S | statement | none |
| A subspace of full dimension is the whole space | 0WGAXEK99E | statement | none |
| There is a natural number n with 1/n below any positive epsilon | 0WH916TJNY | statement | none |
| Taylor's theorem with the integral remainder | 0WJGR81HBD | statement | none |
| Dimension theorem for vector spaces | 0WK0Y8RH1M | statement | none |
| Sylvester's criterion | 0WKEF78PMV | statement | none |
| Cholesky decomposition | 0WKG8CYY6A | statement | none |
| Product of exponentials | 0WM7DJCM6G | statement | none |
| Volume of a ball in R^3 | 0WMDV48VSN | statement | none |
| A prime is a Gaussian prime if and only if it is 3 modulo 4 | 0WMJSEFYFE | statement | none |
| Hoeffding's inequality | 0WPDNXGSSN | statement | none |
| Moment-generating function of a sum of independent random variables | 0WRZ170YEH | statement | none |
| Extreme value theorem | 0WS1A8E2P9 | statement | none |
| Cantor's theorem | 0WTEMGYV2C | statement | none |
| Gram–Schmidt vectors are orthogonal | 0WXBGBTA3D | statement | none |
| A monotone function has countably many discontinuities | 0WYTM4C9QG | statement | none |
| Number of injections | 0X0N833FF8 | statement | none |
| Hall's theorem for bipartite graphs | 0X2GJPNPFN | statement | none |
| Countable intersection of dense open sets is dense | 0X2T63GFQQ | statement | none |
| The exterior derivative squares to zero | 0X308R2DBE | statement | none |
| Tietze extension theorem | 0X52TNMTCJ | statement | none |
| Impossibility of squaring the circle | 0X7CVDE3BG | statement | none |
| Continuity of probability measures | 0X8HBKCSYB | statement | none |
| Uniform limit theorem | 0X9XT05JVC | statement | none |
| Handshaking lemma | 0XAP8WHNES | statement | none |
| Wallis product | 0XCYA4YERS | statement | none |
| Number of elements of each order in a cyclic group | 0XCYGCCX8V | statement | none |
| Monotonicity of the cumulative distribution function | 0XD22PBMWA | statement | none |
| Multinomial theorem | 0XFC1VQYEK | statement | none |
| Euler's partition theorem | 0XFZ1BMF5Q | statement | none |
| Decomposition of a permutation into transpositions | 0XK6FECMW5 | statement | none |
| Poisson limit theorem | 0XKTZRWTXX | statement | none |
| Squeeze theorem | 0XMF00T4XQ | statement | none |
| Dini's theorem | 0XRRYF1HPE | statement | none |
| Eisenstein's lemma | 0XSDBCP4RZ | statement | none |
| The principal logarithm is holomorphic off the branch cut | 0XVGJE7Q04 | statement | none |
| A root of an integer is an integer or irrational | 0XWCKJZRYH | statement | none |
| Second fundamental theorem of calculus | 0XYAFCN0PT | statement | none |
| De Morgan's laws in a Boolean algebra | 0XYVDWGQX2 | statement | none |
| Absolutely convergent series converge | 0Y123X48GA | statement | none |
| Catalan recurrence | 0Y1MG9R5VN | statement | none |
| Gauss–Wantzel theorem | 0Y34JMJNE9 | statement | none |
| The order modulo p divides p − 1 | 0Y4B7P0GS8 | statement | none |
| Trace of a product is symmetric | 0Y4NF1DRKD | statement | none |
| Brooks' theorem | 0Y4TV2D5RQ | statement | none |
| Fermat's Last Theorem | 0Y5X3SDBCZ | statement | none |
| Tail sum formula for expectation | 0Y6QNF1J49 | statement | none |
| Existence of an orthonormal basis | 0Y85GYEGSF | statement | none |
| Distinct eigenvalues imply diagonalisable | 0Y95Z7MT02 | statement | none |
| Binary trees are counted by Catalan numbers | 0Y97E2DMB7 | statement | none |
| Comparability of cardinals | 0YBHSJMN3J | statement | none |
| Identity theorem | 0YBVKMYX0W | statement | none |
| Term-by-term integration | 0YBY3VYX0K | statement | none |
| Matrix exponential as the solution of a linear system | 0YC8JT513J | statement | none |
| Universal property of the tensor product | 0YDRV01R8F | statement | none |
| Continuity via open sets | 0YF82GBTND | statement | none |
| Sum of independent Poisson random variables | 0YH1M56SBN | statement | none |
| Irrationality of the square root of a prime | 0YHFMXJJAZ | statement | none |
| Hilbert's basis theorem | 0YKA9J3XEE | statement | none |
| Existence of nth roots of complex numbers | 0YM6P6C206 | statement | none |
| Power series are holomorphic in the disc of convergence | 0YMP521ZR5 | statement | none |
| Fundamental theorem of contour integration | 0YQ458D7PF | statement | none |
| Intersecting chords theorem | 0YQQYET8YQ | statement | none |
| Pascal's rule | 0YRG241HQQ | statement | none |
| Closed balls are closed | 0YS40B38JD | statement | none |
| Homotopy invariance of line integrals of closed forms | 0YVVN6R715 | statement | none |
| Decomposition of a permutation into disjoint cycles | 0YWDAZPRPQ | statement | none |
| Quadratic reciprocity for the Jacobi symbol | 0YY06KP3ZQ | statement | none |
| Mercator series | 0YZXNE3HFR | statement | none |
| Power series of complex cosine | 0Z1G2F8DGY | statement | none |
| Diagonalisation of a quadratic form | 0Z3FEWZ8HA | statement | none |
| Decomposition into generalised eigenspaces | 0Z3GDY89T5 | statement | none |
| A function with nonnegative second derivative is convex | 0Z41C17TGP | statement | none |
| Burnside's lemma | 0Z47M1B2VS | statement | none |
| Determinant of the identity matrix | 0Z4BWARC38 | statement | none |
| Local homeomorphism from the inverse function theorem | 0Z8CSYVHDJ | statement | none |
| Countable union of countable sets is countable | 0Z8FM54P86 | statement | none |
| Constant multiple rule | 0Z9JB71BS0 | statement | none |
| Dimension of the space of linear maps | 0Z9N1ER0W0 | statement | none |
| Cauchy criterion for sequences | 0ZA4AX4MW3 | statement | none |
| A complex number times its conjugate | 0ZB7J071WQ | statement | none |
