We give a simple proof that the first-order theory of well orders is axiomatized by transfinite induction, and that it is decidable.

翻译：我们给出了良序的一阶理论可由超限归纳公理化的一个简单证明，并证明了该理论是可判定的。