Todas as afirmações verdadeiras são demonstráveis
arXiv:1212.4665
Abstract
In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem.
arXiv:1212.4665
In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem.