*** Welcome to piglix ***

Gödel completeness theorem

...