Todas as afirma\c{c}\~oes verdadeiras s\~ao demonstr\'aveis
  In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem. 
Jaime Gaspar
math.HO