>>15
排中律が成り立たなきゃ証明できるわけねーだろ。ばか?