Y田メタ証明法という恐ろしいものを聞いたので、メモ代わりに書いておこう。推論の仕方は良く分からないが、使い方は以下のようなことらしい。・・・は容易に証明できる。と証明に書いてある定理や命題に対して、その部分が頑張っても証明できず、容易でない…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
