Ramsey theory, named after the British mathematician and philosopher
Frank P. Ramsey, is a branch of
mathematics that studies the conditions under which order must appear. Problems in Ramsey theory typically ask a question of the form: "how many elements of some structure must there be to guarantee that a particular property will hold?"