feitos restritores universais e existenciais
feito certinho as figuras com as restricoes e axiomas
adicionadas imagens