Método axiomático e técnicas de demonstração