改訂新版　世界大百科事典 - 超限帰納法の用語解説 - 一般化された数学的帰納法の一種で，次のような証明法である。整列集合Λの各元λに命題Pλが対応しているとき，次のことが証明できれば，すべてのPλは正しい。〈各λ∈Λに対して，μ＜λならばPμが正しいという仮定のもとで，Pλは正しい〉。これでよ...