> 「ぁゃιぃ住人は男だけ」という命題はその対偶「男でないものはぁゃιぃ住人でない」と同値であるので、
> 「ぁゃιぃ住人は男だけ」事を証明するには「男でないものはぁゃιぃ住人でない」事を証明すれば良い。
> そして「男でないものはぁゃιぃ住人でない」という命題は、世界中の男でないものを順に調べ、それらの中に一つもぁゃιぃ住人がいない事をチェックすれば証明する事ができる。
> こうして、ぁゃιぃ住人を一人も調べる事無く、「ぁゃιぃ住人は男だけ」という事実が証明できてしまう。

ぁゃιぃとか書くなよ(;´Д`)恥ずかしい

参考：2007/11/25(日)22時53分09秒