 Ramsey’s third contribution, and the one most directly important for mathematics, consists of two closely related theorems proved in the paper On a Problem of Formal Logic (1930) which was read to the London Mathematical Society on the 13th December 1928. This material is uncompromisingly aimed at mathematicians and with apologies its explication herein requires some necessary technicalities.