Quantum redactiones paginae "Axioma electionis consequentis" differant

Summarium vacuum
DC, sicut [[Axioma electionis|AC]] (axioma electionis), non ab axiomatibus aliis in [[Axiomata Zermelo-Fraenkel|ZF]] pendet: id est, exemplar est ZF (si congruentia sunt) in quo DC non satisfaciatur. Sed minus est valens: est quidem exemplar in quo DC satisfaciatur nec AC.
 
Ad doctrinam mathematicam [[analysis realis|analysin realem]] tractandam DC modo sat est (nam sine ulla electione conceptiones analysis realis definiri nequeunt), proporro ei doctrinae quia consequentias inusitatas axiomatis electionis (sicut [[paradoxum Banach-Tarski]]) vitat magis convenit. Ut exemplo est, probatum est a [[Robertus M. Solovay|Solovay]] anno [[1970]], quod est exemplar ZF+DC, in quo omnes copias realium [[metrum Lebesgue|metiri possumus]], donec congruentia sint axiomata ZFC+"est cardinalis inaccessus". Paradoxum Banach-Tarski cum copiis immensabilibus utatur, non in hoc exemplare valet.
 
[[Categoria:Theoria copiarum]]
449

recensiones