List of mathematical proofs
This page lists the items of the Wikipedia article List of mathematical proofs in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1158714048, with the assessment List/Low.
| Outcome | Items |
|---|---|
| deferred | 133 |
| attached | 1 |
The gap signals of the article are S1,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | topic | List of mathematical proofs | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #0CVW | statement | Fundamental theorem of arithmetic | deferred until 2027-05-01 | the item has its own article, page 11556 | |
| #0SW3 | statement | Burnside's lemma | deferred until 2027-05-01 | the item has its own article, page 251900 | |
| #0WFT | definition | Angle of parallelism | deferred until 2027-05-01 | the item has its own article, page 1341579 | |
| #0WU6 | statement | Minkowski inequality | deferred until 2027-05-01 | the item has its own article, page 192022 | |
| #1SA0 | unknown | Algorithmic information theory | deferred until 2027-05-01 | the kind of the item is unknown | |
| #1UDS | definition | Square root of 2 | deferred until 2027-05-01 | the item has its own article, page 341682 | |
| #206H | statement | Five color theorem | deferred until 2027-05-01 | the item has its own article, page 1982872 | |
| #2DFZ | definition | Bellman–Ford algorithm | deferred until 2027-05-01 | the item has its own article, page 221244 | |
| #33VN | definition | Lambda calculus | deferred until 2027-05-01 | the item has its own article, page 18203 | |
| #34LR | definition | Galois group | deferred until 2027-05-01 | the item has its own article, page 12673 | |
| #3AEN | statement | Cayley's theorem | deferred until 2027-05-01 | the item has its own article, page 105967 | |
| #3FDF | statement | Wilson's theorem | deferred until 2027-05-01 | the item has its own article, page 227323 | |
| #3I5J | definition | Coset | deferred until 2027-05-01 | the item has its own article, page 98759 | |
| #3LAT | definition | Mathematical induction | deferred until 2027-05-01 | the item has its own article, page 18881 | |
| #46GX | statement | Open mapping theorem (functional analysis) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #4EOC | statement | Splitting lemma | deferred until 2027-05-01 | the item has its own article, page 138378 | |
| #4HEP | statement | Mean value theorem | deferred until 2027-05-01 | the item has its own article, page 19662 | |
| #4MYB | problem | Halting problem | deferred until 2027-05-01 | the item has its own article, page 21391870 | |
| #63OM | statement | Euler's four-square identity | deferred until 2027-05-01 | the item has its own article, page 222004 | |
| #6SCU | statement | Lagrange's theorem (number theory) | deferred until 2027-05-01 | the item has its own article, page 3281385 | |
| #6W33 | definition | Gödel number | deferred until 2027-05-01 | the item has its own article, page 207790 | |
| #70DU | definition | Harmonic series (mathematics) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #7DQM | definition | Estimation of covariance matrices | deferred until 2027-05-01 | the item has its own article, page 974723 | |
| #7S1B | statement | Urysohn's lemma | deferred until 2027-05-01 | the item has its own article, page 49253 | |
| #81DL | topic | Relational algebra | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #84J0 | definition | Irrational number | deferred until 2027-05-01 | the item has its own article, page 20647689 | |
| #8Q74 | definition | Integer partition | deferred until 2027-05-01 | the item has its own article, page 104790 | |
| #8WMT | statement | Lagrange's theorem (group theory) | deferred until 2027-05-01 | the item has its own article, page 31150 | |
| #8WOM | statement | Cayley's formula | deferred until 2027-05-01 | the item has its own article, page 1266713 | |
| #91BQ | definition | Cantor's diagonal argument | deferred until 2027-05-01 | the item has its own article, page 51426 | |
| #93YU | definition | Sum rule in integration | deferred until 2027-05-01 | the item has its own article, page 15532 | |
| #9GFU | statement | Rao–Blackwell theorem | deferred until 2027-05-01 | the item has its own article, page 400010 | |
| #9HLC | definition | Algebra of sets | deferred until 2027-05-01 | the item has its own article, page 1018676 | |
| #9WBO | statement | Heine–Borel theorem | deferred until 2027-05-01 | the item has its own article, page 59595 | |
| #9X8N | definition | Quotient rule | deferred until 2027-05-01 | the item has its own article, page 209128 | |
| #A1J3 | statement | Compactness theorem | deferred until 2027-05-01 | the item has its own article, page 152207 | |
| #A2WZ | statement | Tychonoff's theorem | deferred until 2027-05-01 | the item has its own article, page 82739 | |
| #A951 | topic | Combinatorics | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #AUKP | statement | Kőnig's lemma | deferred until 2027-05-01 | the item has its own article, page 153788 | |
| #B3F0 | definition | Mathematical induction | deferred until 2027-05-01 | the item has its own article, page 18881 | |
| #BATU | statement | Itô's lemma | deferred until 2027-05-01 | the item has its own article, page 203962 | |
| #BEN7 | statement | Principle of bivalence | deferred until 2027-05-01 | the item has its own article, page 24097 | |
| #BKUH | statement | Sylow theorems | deferred until 2027-05-01 | the item has its own article, page 53993 | |
| #BLOO | definition | Quadratic equation | deferred until 2027-05-01 | the item has its own article, page 25175 | |
| #BNHS | definition | Prim's algorithm | deferred until 2027-05-01 | the item has its own article, page 53783 | |
| #BZ6K | statement | Green's theorem | deferred until 2027-05-01 | the item has its own article, page 243334 | |
| #CCQV | definition | Burrows–Abadi–Needham logic | deferred until 2027-05-01 | the item has its own article, page 196882 | |
| #CXI6 | statement | Brouwer fixed-point theorem | deferred until 2027-05-01 | the item has its own article, page 4101 | |
| #DFLU | definition | Shor's algorithm | deferred until 2027-05-01 | the item has its own article, page 42674 | |
| #DOIR | statement | Cauchy integral theorem | deferred until 2027-05-01 | the item has its own article, page 61190 | |
| #E83I | statement | Nash embedding theorem | deferred until 2027-05-01 | the item has its own article, page 51129 | |
| #EP90 | statement | Gauss–Markov theorem | deferred until 2027-05-01 | the item has its own article, page 170353 | |
| #EUO6 | definition | Proof that 0.999... equals 1 | deferred until 2027-05-01 | the item has its own article, page 1849799 | |
| #F1QM | definition | Boolean ring | deferred until 2027-05-01 | the item has its own article, page 54356 | |
| #F83G | definition | Direct proof | deferred until 2027-05-01 | the item has its own article, page 238676 | |
| #FCQL | statement | Goodstein's theorem | deferred until 2027-05-01 | the item has its own article, page 150062 | |
| #FJR2 | statement | Ultraparallel theorem | deferred until 2027-05-01 | the item has its own article, page 1403889 | |
| #FPLN | statement | Intermediate value theorem | deferred until 2027-05-01 | the item has its own article, page 14884 | |
| #FUT2 | unknown | Tetris | deferred until 2027-05-01 | the kind of the item is unknown | |
| #G2X0 | statement | Euler's formula | deferred until 2027-05-01 | the item has its own article, page 9613 | |
| #G85Y | definition | Linear independence | deferred until 2027-05-01 | the item has its own article, page 101863 | |
| #GHE7 | statement | Fermat's little theorem | deferred until 2027-05-01 | the item has its own article, page 53453 | |
| #GRWL | definition | Prime number | deferred until 2027-05-01 | the item has its own article, page 23666 | |
| #H8ER | definition | Proof | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #HAPS | statement | Gödel's incompleteness theorem | deferred until 2027-05-01 | the item has its own article, page 58863 | |
| #HXWM | definition | Highly composite number | deferred until 2027-05-01 | the item has its own article, page 208732 | |
| #HY7W | definition | Multivariate normal distribution | deferred until 2027-05-01 | the item has its own article, page 50347 | |
| #HYZA | definition | Generating a vector space | deferred until 2027-05-01 | the item has its own article, page 56353 | |
| #I7CR | statement | Cauchy's integral formula | deferred until 2027-05-01 | the item has its own article, page 72827 | |
| #ID47 | definition | Basis (linear algebra) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #IFZF | definition | Co-NP | deferred until 2027-05-01 | the item has its own article, page 6184 | |
| #IKH9 | definition | Proof that π is irrational | deferred until 2027-05-01 | the item has its own article, page 12792547 | |
| #ISPE | statement | Pythagorean theorem | deferred until 2027-05-01 | the item has its own article, page 26513034 | |
| #IWQ0 | statement | Kőnig's theorem (set theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #JAHK | definition | Countable | deferred until 2027-05-01 | the item has its own article, page 6026 | |
| #JKGQ | statement | Banach–Tarski paradox | deferred until 2027-05-01 | the item has its own article, page 19759220 | |
| #JOTQ | statement | Markov's inequality | deferred until 2027-05-01 | the item has its own article, page 238232 | |
| #JZMM | definition | Hyperbolic sector | deferred until 2027-05-01 | the item has its own article, page 1139926 | |
| #K1VS | definition | Proof that 22/7 exceeds π | deferred until 2027-05-01 | the item has its own article, page 382339 | |
| #KDDM | definition | Cantor's first uncountability proof | deferred until 2027-05-01 | the item has its own article, page 22697171 | |
| #KFOB | definition | Riemann integral | deferred until 2027-05-01 | the item has its own article, page 26390 | |
| #KKUN | statement | Kőnig's theorem (graph theory) | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #KL4V | definition | Recursion | deferred until 2027-05-01 | the item has its own article, page 25407 | |
| #KRSQ | definition | Kruskal's algorithm | deferred until 2027-05-01 | the item has its own article, page 53776 | |
| #LO5Z | statement | Rolle's theorem | deferred until 2027-05-01 | the item has its own article, page 200305 | |
| #LUXH | statement | Rice's theorem | deferred until 2027-05-01 | the item has its own article, page 25852 | |
| #MPHR | definition | Holomorphic functions are analytic | deferred until 2027-05-01 | the item has its own article, page 481100 | |
| #N2SH | statement | Euler's theorem | deferred until 2027-05-01 | the item has its own article, page 18753256 | |
| #NBGD | statement | Cantor–Bernstein–Schroeder theorem | deferred until 2027-05-01 | the item has its own article, page 44218028 | |
| #NW9H | statement | Van der Waerden's theorem | deferred until 2027-05-01 | the item has its own article, page 157178 | |
| #OOI7 | statement | Pumping lemma | deferred until 2027-05-01 | the item has its own article, page 24449 | |
| #P59D | definition | Power rule | deferred until 2027-05-01 | the item has its own article, page 147912 | |
| #P59R | statement | Liouville's theorem (complex analysis) | deferred until 2027-05-01 | the item has its own article, page 312293 | |
| #PCZW | statement | Fundamental theorem of algebra | deferred until 2027-05-01 | the item has its own article, page 51414 | |
| #POD4 | statement | Erdős–Ko–Rado theorem | deferred until 2027-05-01 | the item has its own article, page 296188 | |
| #PWS3 | statement | Time hierarchy theorem | deferred until 2027-05-01 | the item has its own article, page 184120 | |
| #Q163 | definition | Invariance of domain | deferred until 2027-05-01 | the item has its own article, page 210731 | |
| #QVF3 | definition | Ultrafilter lemma | deferred until 2027-05-01 | the item has its own article, page 67416519 | |
| #R28B | definition | Accumulation point | deferred until 2027-05-01 | the item has its own article, page 226505 | |
| #R4YX | definition | Gale–Shapley algorithm | deferred until 2027-05-01 | the item has its own article, page 26978338 | |
| #R62D | definition | Torque | deferred until 2027-05-01 | the item has its own article, page 30400 | |
| #R7Z2 | statement | Cantor's theorem | deferred until 2027-05-01 | the item has its own article, page 341442 | |
| #R92C | statement | Bolzano–Weierstrass theorem | deferred until 2027-05-01 | the item has its own article, page 31211 | |
| #RWN5 | proof | Proofs using... | attached | ||
| #S52S | definition | Primitive recursive function | deferred until 2027-05-01 | the item has its own article, page 24829 | |
| #SFPR | definition | Addition in N | deferred until 2027-05-01 | the item has its own article, page 61338 | |
| #T0SI | statement | Ramsey's theorem | deferred until 2027-05-01 | the item has its own article, page 184898 | |
| #T8BE | problem | Clique problem | deferred until 2027-05-01 | the item has its own article, page 249254 | |
| #TE0I | problem | Boolean satisfiability problem | deferred until 2027-05-01 | the item has its own article, page 4715 | |
| #TM7H | definition | Proof that e is irrational | deferred until 2027-05-01 | the item has its own article, page 348780 | |
| #TZO2 | statement | Transcendence of e and π | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #U5XF | definition | Simpson's rule | deferred until 2027-05-01 | the item has its own article, page 219962 | |
| #U6F6 | definition | Bertrand's postulate | deferred until 2027-05-01 | the item has its own article, page 232526 | |
| #UB4Y | definition | Sum rule in differentiation | deferred until 2027-05-01 | the item has its own article, page 10308785 | |
| #UH1U | definition | Polynomial | deferred until 2027-05-01 | the item has its own article, page 23000 | |
| #UKFW | statement | Buckingham π theorem | deferred until 2027-05-01 | the item has its own article, page 51399 | |
| #UO5Y | statement | Gödel's completeness theorem | deferred until 2027-05-01 | the item has its own article, page 12450 | |
| #UUGG | statement | Banach fixed-point theorem | deferred until 2027-05-01 | the item has its own article, page 46676 | |
| #V2GS | definition | Infinite series | deferred until 2027-05-01 | the item has its own article, page 15287 | |
| #VFMJ | definition | Proof that the sum of the reciprocals of the primes diverges | deferred until 2027-05-01 | the item has its own article, page 249208 | |
| #WE7L | topic | Computational geometry | deferred until 2027-05-01 | a list or a glossary is not a node (WP9.1) | |
| #WWZJ | definition | Solvable group | deferred until 2027-05-01 | the item has its own article, page 105012 | |
| #X2BU | statement | Five lemma | deferred until 2027-05-01 | the item has its own article, page 138214 | |
| #X8B2 | definition | Product topology | deferred until 2027-05-01 | the item has its own article, page 24910 | |
| #XFG3 | statement | Zorn's lemma | deferred until 2027-05-01 | the item has its own article, page 51442 | |
| #XO46 | definition | Product and Quotient Rules | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #Y2SN | statement | Squeeze theorem | deferred until 2027-05-01 | the item has its own article, page 330994 | |
| #Y9WO | definition | Furstenberg's proof of the infinitude of primes | deferred until 2027-05-01 | the item has its own article, page 13230920 | |
| #YYTS | definition | Euclidean algorithm | deferred until 2027-05-01 | the item has its own article, page 10377 | |
| #YZSO | problem | Basel problem | deferred until 2027-05-01 | the item has its own article, page 490303 | |
| #ZJ3Y | statement | No-cloning theorem | deferred until 2027-05-01 | the item has its own article, page 22035 | |
| #ZLOJ | definition | Group (mathematics) | deferred until 2027-05-01 | the item has its own article, page 19447 | |
| #ZM2Q | definition | Combinatory logic | deferred until 2027-05-01 | the item has its own article, page 149848 |
Refer to Wikipedia articles and their nodes for the other articles.