物理:数学
差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン | ||
|
物理:数学 [2026/05/25 06:20] kawaue |
物理:数学 [2026/05/25 07:46] (現在) kawaue |
||
|---|---|---|---|
| 行 54: | 行 54: | ||
| \end{align} | \end{align} | ||
| を認めることは、$\aleph_0$より大きく、$2^{\aleph_0}$より小さい基数$\aleph_1$の存在を意味する(巨大基数)。 | を認めることは、$\aleph_0$より大きく、$2^{\aleph_0}$より小さい基数$\aleph_1$の存在を意味する(巨大基数)。 | ||
| + | このように$\beth_n = \aleph_m$を公理として巨大基数の存在を認めることで、証明可能な命題が増える(らしい)。矛盾$0=1$を公理として認めると全ての命題が証明できるので、矛盾を最大の基数と見做すことができる(らしい)。 | ||
| - | これらの存在を公理とすることで、証明可能な命題が増える(らしい)。矛盾$0=1$を公理として認めると全ての命題が証明できるので、矛盾を最大の基数と見做すことができる(らしい)。 | + | Zermelo-Fraenkel(ZF)公理系 |
| + | |||
| + | 選択公理(Axiom of Choice;AC) | ||
物理/数学.1779690056.txt.gz · 最終更新: 2026/05/25 06:20 by kawaue
特に明示されていない限り、本Wikiの内容は次のライセンスに従います： CC Attribution-Share Alike 4.0 International
