A recently coined phrase — "Negative Mathematics" — is related to the
better-known phrase "Negative Space."
The latter is closely related to the proof of the Cullinane diamond theorem.
For the former, see . . .
Related material: The proof symbol, i.e. the Halmos Tombstone.