One of the theorems proved by Ramsey in his 1928 paper On a problem of formal logic now bears his name (Ramsey's theorem).
Az elméletek egyike, melyet Ramsey bizonyított On a problem of formal logic című cikkében 1930-ban, mára nevét őrzi (Ramsey-tétel).