Axioma da separação
O Axioma da Separação é um dos pilares dos Axiomas de Zermelo-Fraenkel (ZFC), essenciais para a construção rigorosa da Teoria dos Conjuntos. Ele estabelece uma regra fundamental para a formação de novos conjuntos a partir de conjuntos já existentes, evitando paradoxos.
Pontos-chave
- É um dos axiomas de Zermelo-Fraenkel (ZFC) na Teoria dos Conjuntos.
- Não é um único axioma, mas um esquema de axiomas, gerando um axioma para cada fórmula.
- Sua formulação moderna, como a de Kunen, restringe a criação de conjuntos para evitar paradoxos.
- Na teoria ingênua, a falta dessa restrição levava ao paradoxo de Russell.
- Permite definir subconjuntos de um conjunto existente com base em uma propriedade específica.
O Axioma da Separação, na formulação de Kunen, não é um axioma singular, mas um 'esquema de axiomas'. Isso significa que ele gera um novo axioma para cada fórmula lógica específica (ϕ) que pode ser construída na linguagem da ZFC. As variáveis livres dessa fórmula incluem 'x', 'z', e outras variáveis 'w1', ..., 'wn', que representam parâmetros.
Na Teoria Ingênua dos Conjuntos, existia um esquema implícito que permitia que qualquer fórmula definisse um conjunto. Essa liberdade, porém, levava a contradições lógicas, como o famoso paradoxo de Russell e suas variações. O Axioma da Separação resolve esse problema ao impor uma restrição crucial: a criação de um novo conjunto deve ser feita a partir de elementos de um conjunto 'z' já existente, filtrando-os por uma propriedade específica. Essa restrição impede os paradoxos que surgiam na abordagem ingênua.
