Abstract
The notion of necessary new terms (predicates) is proposed. It is shown that necessary new predicates in first‐order logic must be directly, recursively defined. I present a first‐order inductive learning algorithm that introduces new necessary predicates to model scientific revolution in which a new language is adopted. I demonstrate that my learning system can learn a genetic theory with theoretical terms which, after being induced by my system, can be interpreted as either types of genetic properties (dominant or recessive) or genes, depending on the representation of the hypotheses of the same theoretical terms.