Le dessin montre un exemple de formule est valide et une preuve en déduction naturelle
Fschwarzentruber
<a href="//commons.wikimedia.org/wiki/File:Completude%CC%A0_logique_premier_ordre.png" class="mw-redirect" title="File:Completude̠ logique premier ordre.png">File:Completude̠ logique premier ordre.png</a>