Teorema
Do grego *theórema* — "aquilo que se contempla", proposição a ser demonstrada.
term: Teorema etymology: 'Do grego theórema — "aquilo que se contempla", proposição a ser demonstrada.' summary: 'Proposição derivada de axiomas e definições pela aplicação de regras de inferência.' relatedModules: [proof-methods] seeAlso: [axioma, prova, lema, corolario]
Definição
Proposição derivada de axiomas e definições pela aplicação de regras de inferência.
Intuição
Um destino alcançado a partir dos pontos de partida. Não é "novidade sobre o mundo" — é consequência inevitável das regras já aceitas.
Registro computacional
Como um type-check bem-sucedido: não adiciona verdade nova, expõe verdade já implícita no sistema.
Exemplo
O teorema de Pitágoras é um teorema em qualquer geometria que assuma os axiomas de Euclides.