Thus it is possible to exclude counterintuitive results like the Banach–Tarski paradox which are provable in ZFC.
Con isto é posible eliminar resultados contraintuitivos como o paradoxo de Banach-Tarski, que son demostrables en ZFE.