Uno de los teoremas probado por Ramsey en su artículo "Sobre un problema de lógica formal" ("On a problem of formal logic") lleva ahora su nombre.