F. P. Ramsey discovered that when second-order logic is applied to a scien-tific theory(T) which contains a finite number of axioms, the theoretical terms in T can be removed.

• F·P·Ramsey(拉姆西)发现,应用二阶逻辑对一个有有限数目公理的科学理论T而言,T中的理论性词项可以被消除。