A Theorem fine is Deduction,
For it allows work-reduction:
To show “A implies B”,
Assume A and prove B;
Quite often a simpler production.
When in premiss the variable’s bound,
To get a “for all” without wound,
Could use some help for reasoning sound.
It’s a critical logical creed:
Always check that it’s safe to proceed.
To tell us deductions
Are truthful productions,
It’s the Soundness of logic we need.
The Completeness of logics is Gödel’s.
‘Tis advice for looking for mödels:
They’re always existent
For statements consistent,
Most helpful for logical lab¨ors.