A solidez e a completude da lógica