[b_tterc_p]

I’m no philosopher but this sounds incorrect. You can prove that many things couldn’t exist, and therefore prove that it doesn’t exist.

Like an integer greater and less than 0.

[PeterStuer]

You can prove something could not exist. That doesn't mean you can prove that something that can exist doesn't.