Proposio

Classificaes dos teoremas

Teorema usado como auxlio na

demonstrao de outro teorema

Lema

Corolrio

Teoremas

Normalmente um teorema de menor

peso para a matemtica (que no possui
grande importncia ou aplicao em
outras situaes)

Teorema demonstrado com o auxlio

de outro teorema

Em alguns casos pode ser necessrio

utilizar outros teoremas
Direta

Parte-se diretamente da hiptese

fornecida e procura-se deduzir a hiptese

Tipos de demonstrao

Lgica Matemtica

Indireta
So proposies aceitas como verdade,
sem necessidade de demonstrao
alguma e so utilizadas juntamente com
as definies como ferramenta de
deduo em um modelo axiomtico

Axiomas
Definies

utilizada preferencialmente quando a

forma direta inapropriada para o caso
em questo

Atribui caractersticas intrnsecas ao

objeto de forma que o mesmo seja
identificado precisamente e
exclusivamente por estas caractersticas
Em alguns casos necessrio saber
definies relacionadas a entes utilizados
na definio abordada

Convenes

uma determinao que complementa

uma teoria matemtica, de forma que no
existam excees ou contradies a partir
da definio utilizada em um modelo
axiomtico