A theory with a recursive set of axioms that can derive all its theorems through logical deduction. This property is…