Todas as afirma\c{c}\~oes verdadeiras s\~ao demonstr\'aveis
History and Overview
2012-12-20 v1
Abstract
In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem.
Keywords
Cite
@article{arxiv.1212.4665,
title = {Todas as afirma\c{c}\~oes verdadeiras s\~ao demonstr\'aveis},
author = {Jaime Gaspar},
journal= {arXiv preprint arXiv:1212.4665},
year = {2012}
}