ウェル順序の理論に関する簡単な証明

ウェル順序の一階理論は推移的帰納法によって公理化でき、決定可能である。