Todas as afirma\c{c}\~oes verdadeiras s\~ao demonstr\'aveis

TL;DR

This paper presents a proof of the completeness theorem in a Portuguese instructional context aimed at popularising mathematics, emphasizing the demonstrability of all true statements.

Contribution

It provides a clear proof of the completeness theorem tailored for educational purposes in Portuguese, enhancing understanding of foundational logic.

Findings

All true statements are demonstrable.

The completeness theorem is proven within an educational framework.

The exposition aids in mathematical literacy and logic understanding.

Abstract

In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem.