follow Dictionary.com
logic An abstract logical theory in which all true statements have formal proofs within the theory. (1998-07-05)
In fact, they argue, it is “the only candidate for a complete theory of the universe.”