Gödel completeness theorem