期刊名称：Bolema: Mathematics Education Bulletin = Bolema: Boletim de Educação Matemática
印刷版ISSN：1980-4415
出版年度：2002
卷号：15
期号：18
页码：79-90
语种：Portuguese
出版社：UNESP - Campus de Rio Claro - Instituto de Geociências e Ciências Exatas
摘要：A demonstração, como definida nos textos de Lógica Matemática, deveria modelar as demonstrações matemáticas. Não é, no entanto, o que se vê nos livros e nos jornais matemáticos. A demonstração matemática é a que satisfaz a comunidade dos especialistas, não interessando o quão distante possa estar do ideal lógico.
