Browse By

Existence Theorem

Statement form sorts theorems by the shape of the claim they make, such as an equation, an inequality or an existence statement. Wikipedia states Fermat's Last Theorem as the claim "that there are no positive integers a, b, c, n with n greater than 2 such that a to the n plus b to the n equals c to the n," a negative existence claim rather than a formula to compute with. This dimension groups theorems that make the same kind of mathematical statement.

Facts

Comparison

Era Of Emergence

1950 1

Existence Theorem

30 entries

Branch

Proved

Proved By

Baranyai's Theorem

Birkhoff-von Neumann Theorem

Chvatal-Erdos Theorem

Corners Theorem

Dilworth's Theorem

Dinitz Theorem

Erdos-Ko-Rado Theorem

Erdos-Rado Theorem

Fary's Theorem

Fisher's Inequality

Five Color Theorem

Gomory's Theorem

Grotzsch's Theorem

Hajnal-Szemeredi Theorem

Hales-Jewett Theorem

Handshaking Lemma

Kotzig's Theorem

Lovasz Local Lemma

Milliken's Tree Theorem

Mycielski's Theorem

Nash-Williams Formula

Petersen's Theorem

Ramsey's Theorem

Schur's Theorem (Ramsey Theory)

Sinkhorn's Theorem

Sperner's Lemma

Szemeredi Regularity Lemma

Theorem on Friends and Strangers

Tutte Homotopy Theorem

Van der Waerden's Theorem