Logic is the set of rules by which axioms can be manipulated to derive true statements.