■

Y田メタ証明法という恐ろしいものを聞いたので、メモ代わりに書いておこう。

推論の仕方は良く分からないが、使い方は以下のようなことらしい。

・・・は容易に証明できる。

と証明に書いてある定理や命題に対して、その部分が頑張っても証明できず、容易でないことを確かめることにより
証明の間違い及び定理が成立しないと断定する。

このメタ証明法何ていうか汎用性高そうなので結構アレである。