Teorema da completude

Redireciona para:

  • Completude (lógica)