Demonstração em Matemática

Abstract

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.