No visual on file
Paradox & Proof
Entry #0167
Why proving a negative is harder than proving a positive
A single instance settles an existence claim. A non-existence claim requires exhausting a space, and spaces are rarely exhaustible.
Adept
The hidden part
#0167
One instance settles existence. Non-existence requires exhausting a space, so the claim is really a report about the search that was performed.