4 ms·
Proving non existence uses some type of law of excluded middle. It’s a very concrete and computable style of argument, although its subjects may not be.
by srcreigh 4y ago
Proving non existence uses some type of law of excluded middle. It’s a very concrete and computable style of argument, although its subjects may not be.