I'm talking about mathematical truths for which establishing non-existence follows directly from proving a positive assertion, not that white ravens don't exist.
I understand that, but 'proving a negative' is philosophical shorthand for the latter rather than the former. You are just going to have to put up with the slight vagueness of the term.
