https://1library.org/document/zxvl4eny-o-teorema-da-completude.html