Ramsey (1929a, [FM] 217–19) shows that all the theory’s implications in the primary system can be listed without the use of the secondary system and, contrary to “Russell, Whitehead, Nicod and Carnap” (220), that it is virtually impossible to define the secondary terms in the primary system: