===== AXIOMA DAS ESCOLHAS =====
(in. Axiom of choice; fr. Axiome des choix; al. Auswahlprinzip; it. Assioma delle scolte).

Tem [[lexico:e:esse|esse]] [[lexico:n:nome|nome]] um [[lexico:p:principio|princípio]] [[lexico:e:enunciado|enunciado]] por Zermelo em 1904, segundo o qual, dada uma [[lexico:c:classe|classe]] K cujos membros são classes [[lexico:n:nao|não]] vazias a, b, c,... existe uma [[lexico:f:funcao|função]] que estabelece a [[lexico:c:correspondencia|correspondência]] entre cada classe a, b, c, e um [[lexico:e:elemento|elemento]] e um só da classe f(a), f(b), f(c)... Esse [[lexico:p:postulado|postulado]], na [[lexico:f:forma|forma]] de um [[lexico:a:axioma|axioma]] multiplicativo, foi reex-posto por [[lexico:r:russell|Russell]] da seguinte forma: dada uma classe K, cujos membros são classes não vazias, que não têm nenhum membro em comum, existe uma classe A, cujos membros são todos membros dos membros de K e que tem só um membro em comum com cada membro de K. Zermelo demonstrou que os dois axiomas são equivalentes. Os matemáticos utilizavam com frequência uma [[lexico:a:assuncao|assunção]] desse [[lexico:g:genero|gênero]], mas a sua [[lexico:e:enunciacao|enunciação]] explícita suscitou dúvidas e discussões, substancialmente quanto ao [[lexico:c:conceito|conceito]] de "[[lexico:e:existencia|existência]]" dos membros de um conjunto.

O postulado de Zermelo, se aplicado aos conjuntos infinitos, significa simplesmente que se pode [[lexico:f:falar|falar]] da existência de um membro do conjunto, mesmo não apresentando uma [[lexico:r:regra|regra]] precisa que permita construir ou reconhecer esse membro (cf. K. Gödel, The Consistency of the Axiom of Choice and of the Generalized Continuum [[lexico:h:hypothesis|hypothesis]] with the Axioms of Set Theory, 1940; L. Geymonat, Storia e [[lexico:f:filosofia|Filosofia]] de l’analisi infinitesimale, 1948).