Assioma della scelta numerabile: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
←Nuova pagina: L''''assioma della scelta numerabile''', denotato con '''AC<sub>ω</sub>''' è un assioma di teoria degli insiemi, simile all'[[assioma della ... |
Corregge uno o più errori comuni o refusi o entità, replaced: un'insiem → un insiem using AWB |
||
Riga 1:
L''''assioma della scelta numerabile''', denotato con '''AC<sub>ω</sub>''' è un [[assioma (matematica)|assioma]] di [[teoria degli insiemi]], simile all'[[assioma della scelta]] di cui ne è una versione più debole. Esso afferma che ogni collezione [[numerabile]] di [[insiemi]] non vuoti deve possedere una [[funzione di scelta]], ovvero, se A è una funzione con dominio l'insieme dei [[numeri naturali]] '''N''' tale che ''A(n)'' è un
[[Paul Cohen]] ha dimostrato che l'assioma della scelta numerabile non è dimostrabile all'interno della [[teoria degli insiemi di Zermelo - Fraenkel]] senza l'assioma della scelta
|