In 1930, in a paper entitled 'On a Problem in Formal Logic,' Frank P. Ramsey proved a very general theorem (now known as Ramsey's theorem) of which this theorem is a simple case.
У 1930 році у статті "Про проблему в формальній логіці" Френк П. Рамсей показав дуже загальну теорему (тепер відомої як Теореми Рамсея), з якої ця теорема є простим випадком.