ダイヤモンド原理
数学、特に公理的集合論において、ダイヤモンド原理 ◊ （ダイヤモンドげんり、英: diamond principle）
とはB. イェンセンによって1972年に導入された組み合わせ論的原理で、構成可能宇宙で真になり、連続体仮説を含意する。イェンセンはV=Lからススリン木の存在を導く証明の中からダイヤモンド原理を抽出、提唱した。
性質と使われ方
イェンセンは1972年にダイヤモンド原理 ◊ がススリン木の存在を含意することを示した。彼はダイヤモンド原理がCHを含意することも示した。
任意の基数κとκ⁺の定常集合Sに対して◊Sは構成可能宇宙で真である。近年、S. シェラハによって非可算な基数κに対して、から◊κ⁺が示されることが示された。