Quantum redactiones paginae "Theoria copiarum" differant

Exemplari ZFC posito fortasse Con(¬GCH) comprobare volumus aut Con(¬AC), id est axioma electionis, cuius per consequentiam GCH et AC non in ZF pendere videamus. Quid agamus? Certe nullum erit exemplar interius quod ¬GCH aut ¬AC satisfaciat, quia si V=L in exemplar primigenum, tum nullum est exemplar interius nisi quod iam habemus.
 
Anno [[1963]] praeclarissimus a [[Paul Cohen]] [[modus coercens]] ([[anglice]] "forcing") a [[Paul Cohen]] inventus est, qui id problema resolvit. Hoc modo functiones in exemplari addi possunt, ut cardinalitas <math>2^{\omega}</math> mutetur et aequam ac, ut exemplo est, <math>\omega_2</math> faciatur, nec minus axiomata ZFC satisfaciantur. Porro autem [[W. B. Easton]] modum excoluit ut cardinalitas copiarum partium cardinalium omnino libere mutari possint, nisi leges simplices (incrementum continuum, theorema Cantor, theorema König) contradictentur.
 
=== Cardinales permagni ===
449

recensiones