proof technique term definition

All term definitions:

• proposition: a statement that is either true or false
• axioms: propositions simply accepted as true
• predicates: propositions whose truth depends on the value of one or more variables
• Implications: proposition of the form “if P then Q” → “P implies Q”, with P is premise, Q is conclusion