Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell. Especificamente, a ZFC não permite o axioma da compreensão. Atualmente, a ZFC é a forma padrão da teoria axiomática dos conjuntos, sendo o fundamento matemático mais comum. A ZFC deve formalizar uma única noção primitiva de um conjunto hereditário bem-fundado, para que cada indivíduo no domínio de discurso seja um conjunto. Desta forma, os axiomas da ZFC se referem apenas a conjuntos, e não urelementos (elementos de conjuntos que não são conjuntos) ou classes (coleções de objetos matemáticos definidos por uma propriedade em comum de seus membros). Os axiomas da ZFC previnem seus modelos de possuírem urelementos, e classes próprias só podem ser tratadas indiretamente. Formalmente, a ZFC é uma teoria de estruturas de lógica de primeira ordem. A assinatura possui igualdade e uma única relação binária primitiva, que é a pertinência, normalmente denotada por ∈. A fórmula a ∈ b significa que o conjunto a é membro do conjunto b (que também é lido como "a é elemento de b" ou "a está em b"). Existem várias formulações equivalentes dos axiomas da ZFC. A maioria de seus axiomas formulam a existência de conjuntos particulares definidos a partir de outros conjuntos. Por exemplo, o axioma do par diz que, dados dois conjuntos quaisquer a e b, existe um novo conjunto {a, b} contendo exatamente a e b. Outros axiomas descrevem propriedades da pertinência de conjuntos. Um dos objetivos dos axiomas da ZFC é que cada axioma deve ser verdade se interpretado como uma afirmação sobre a coleção de todos os conjuntos do universo de von Neumann (também conhecido como a hierarquia cumulativa). A metamatemática da ZFC foi estudada extensivamente. Resultados marcantes dessa área estabeleceram a independência da hipótese do contínuo da ZFC, e o axioma da escolha dos axiomas restantes da ZFC.