木の順序づけは整礎的であり, この整礎的関係に関する超限帰納法で簡単に証明できる. ホントに簡単だから詳細は省略.
解答者: 藤田 博司 (公開日: 2011年6月8日)
この解答に不具合を発見した方はぜひご指摘ください.
演習問題一覧に戻る