ダイヤモンド原理

3行要約

1. 集合論において、連続体仮説よりも強い主張を持つ組合せ論的な原理。
2. 特定の性質を持つ集合の列が存在することを保証し、複雑な構造の構成に用いられる。
3. 強制法などの高度な手法と組み合わせて、数学的な命題の独立性を証明する際に使われる。