Quantum redactiones paginae "Theoria copiarum" differant
Content deleted Content added
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 [[modus coercens]] ([[anglice]] "forcing") a [[Paul Cohen]] inventus est
=== Cardinales permagni ===
|