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