ないことの証明はできないわけじゃない。恐ろしく困難というだけだ
あり得る事の証明は実例を一つでも見つければ良いが、あり得ないことの証明は「理論上絶対にありえない」ことをロジックで証明しないといけないから難しいのだ