5 ms·If your theorem provers never prove a contradiction, they are all too weak.by pjdorrell 5y agoIf your theorem provers never prove a contradiction, they are all too weak.