Changes

|History=Initially, the theory rejection theorem was accepted as deducible from the conjunction of [[The First Law (Barseghyan-2015)|the first law]] for theories and [[Rory Harder|Harder]]'s [[The Zeroth Law (Harder-2015)|zeroth law]]. After the replacement of Harder's zeroth law with [[Compatibility Corollary (Fraser-Sarwar-2018)|the compatibility corollary]], suggested by [[Patrick Fraser|Fraser]] and [[Ameer Sarwar|Sarwar]], it became accepted that the theory rejection theorem is a deductive consequence of the first law for theories and the compatibility corollary.[[CiteRef::Fraser and Sarwar (2018)|pp. 72-74]]

|Page Status=Needs Editing

}}

{{Theory Example