証明図を遡る説明のとき、成功の場合を含めるのか含めないのか明言していませんでしたが、実質は証明が成功でも失敗でもないときの極限となっていました。証明図の極限を考えることが目的だったのですが、証明図が書けないときの極限になっているというので…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。