2006-01-29 帰納法の証明 よく分からなくなることがあるからちょっと解いておこう。 というクラスを考える。とする。 が示せればいい。 この二つが異なったとすれば、最小元が存在するがそれが0でもnon-zeroでも矛盾。