Pesquisa · Mapa mental
Axioma da potência
Em matemática, o axioma da potência é um dos axiomas de Zermelo-Fraenkel da Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel (ZFC)
O Axioma da Potência permite uma definição simples de Produto Cartesiano de dois conjuntos X {\displaystyle X} e Y {\displaystyle Y} : e portanto, o produto cartesiano é um conjunto, já que Pode-se definir o produto cartesiano de qualquer coleção finita de conjuntos recursivamente: Note que a existência do produto cartesiano pode ser provada sem o uso do Axioma da Potência, como no caso da Teoria dos Conjuntos Kripke-Platek.
