A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
alguns outros são decidíveis em zf+ad, onde ad é o axioma da determinância, uma forte suposição incompatível com a escolha.
some others are decided in zf+ad where ad is the axiom of determinacy, a strong supposition incompatible with choice.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade: Seja o primeiro a votar
