Noun
One who defeats. defeater of the rebel hordes
(logic, philosophy) a belief which, if proved to be true, would imply outright or indirectly that another belief were false.