ダイヤモンド原理
数学、特に公理的集合論において、ダイヤモンド原理 ◊ (ダイヤモンドげんり、英: diamond principle) とはB. イェンセンによって1972年に導入された組み合わせ論的原理で、構成可能集合で真になり、連続体仮説を含意する。イェンセンはV=L(英語版)からススリン木の存在を導く証明の中からダイヤモンド原理を抽出、提唱した。