Frank Plumpton Ramsey är mest känd för sitt försök att reducera matematiken till logik. Som ett led i studierna av matematikens grunder bevisade han ett teorem som i dag är utgångspunkten för en gren av matematiken (Ramsey-teorin, se kombinatorik).