This paper discusses the term rewriting strategy in induction inference sys-tem．Axioms，rewriting lemmas，function definitions，term rewriting rules are used to rewrite the term to be rewritten．The system will get a rewritten term which approaches to the inference goal．This strategy has been implemented by using compiler LISP on micro computer.