Emendatio ex 06:43, 2 Aprilis 2016 recensere MCaecilius (disputatio \| conlationes) 449 edits →‎Exemplaria interiora ← Differentia superior		Emendatio ex 06:44, 2 Aprilis 2016 recensere abrogare MCaecilius (disputatio \| conlationes) 449 edits →‎Modus coercens Differentia proxima →
Linea 58: 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 ===

Quantum redactiones paginae "Theoria copiarum" differant