We do not currently know of any antonyms for conditional proofs.
The noun conditional proofs is defined as: