Teorema
Do grego *theórema* — "aquilo que se contempla", proposição a ser demonstrada.
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.