Words: logical proof
Part of speech: n
Definition: proof of a logical theorem