Question

Describe the process of natural deduction

Answer 1

Consistency, completeness, and normal forms. A theory is said to be consistent if falsehood is not provable (from no assumptions) and is complete if every theorem is provable using the inference rules of the logic. These are statements about the entire logic, and are usually tied to some notion of a model.