Ramsey's theorem (source code)

= Ramsey's theorem
{c}
{wiki}

The infinite form of Ramsey's theorem says that if the $r$-element subsets of an infinite set are finitely colored, then some infinite subset has all its $r$-element subsets in one color.

= Ramsey theorem for r-sets
{synonym}