ぴらぴらが思いついた証明戦略は、うまくいかないことが証明されているかも知れない。うまくいかない証明の中に当てはまっているかどうか、ちょっと見てみようかな。http://en.wikipedia.org/wiki/Natural_proof
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。