Construtíveis - axioma da escolha e hipótese do contínuo