Linguagens de primeira ordem e sistemas axiomáticos;