「強制法」の版間の差分
削除された内容 追加された内容
87.92.24.4 (会話) →コーエン強制: 打ち間違えの補正です。Correction to a typo, "well-defind" to "well-defined". |
m →直観的意味合い: 仮リンクを追加 [+lk] タグ: 2017年版ソースエディター |
||
20行目:
強制法はこのアイデアを洗練したもので、新しい集合の存在を認めて利用するというより、拡大された宇宙の性質を元の宇宙からよりよく操作することを許したものである。
コーエンの元々のテクニックは今では
==強制半順序==
| |||