Resumo
Neste projeto estudaremos as aplicações de Forcing e métodos de Submodelos Simétricos no estudo das consequências do Axioma da Escolha, por meio do estudo detalhado da construção de modelos de ZF onde conhecidas implicações de AC passam a não valer.