Uma breve introdução do que será o "axiomático".