Words: formal
Part of speech: s
Definition: logically deductive
Example: formal proof