Reta e Planos

Axiomatizao das teorias matemticas

Teoria matemtica conjunto de proposies consideradas verdadeiras,

incluindo tambm todas as proposies que foram deduzidas dessas
proposies.

Numa teoria necessrio fixar:

Termos primitivos noes comuns sugeridas pela intuio e no se
definem a partir de outros. Ex: ponto, reta e plano.
Relaes primitivas relacionam termos primitivos. Ex: um ponto
pertencer a uma reta ou a um plano.
Axiomas proposies aceites como verdadeiras que no se deduzem de
outras. Ex: dois pontos definem uma reta.
Axiomtica de uma teoria conjunto de termos primitivos, relaes
primitivas e axiomas a partir dos quais todos os termos e relaes da
teoria possam ser definidos e todas as proposies verdadeiras
demonstradas.

Fixada uma axiomtica surgem:

- as definies;
- os teoremas.

Definio enunciado que explica um termo. Ex: Um quadriltero um

polgono com quatro lados.
Teorema proposio que s depois de ser demonstrada se aceita como
verdadeira.
Em muitos teoremas, possvel distinguir:
- O ponto de partida: a hiptese (H)
- O que queremos demonstrar: a tese (T)

Demonstrar um teorema deduzir, atravs de uma cadeia de raciocnios

dedutivos (justificados com axiomas, relaes primitivas e teoremas j
demonstrados), que a tese uma consequncia da hiptese.