One of the theorems proved by Ramsey in his 1928 paper On a problem of formal logic now bears his name (Ramsey's theorem).
Jeden z teorémov, ktoré Ramsey dokázal vo svojej práci z roku 1930 nazvanej On a problem of formal logic (O probléme formálnej logiky), teraz nesie jeho meno ako Ramseyov teorém.