As for proving a negative, I’ve got two words: Modus Tollens.
Modus Tollens is: If P, then Q. Not Q. Therefore, not P
But you can’t prove not Q in the first place.
Three more words then, reductio ad absurdum.
Ok, fair.
Modus Tollens is: If P, then Q. Not Q. Therefore, not P
But you can’t prove not Q in the first place.
Three more words then, reductio ad absurdum.
Ok, fair.