英语语法分析

Experimental results show that, compared with the inductionless induction approach, the new proof systems is simpler and possesses several more intuitive characters.

实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。