所有真命题都是可证明的
历史与综述
2012-12-20 v1
摘要
在这篇用于数学普及的葡萄牙语教学性文章中，我们陈述并证明了完备性定理。
引用
@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}
}