条件や性質〈命題〉の定義と、モノの定義は違う。モノを定義するとは、存在させる〈make it exist〉こと。 生成 構成的生成 超越的生成 正当化：存在命題 → スコーレム関数〈選択関数 | セレクター〉 正当化：一意性命題 → 一意値 条件確認〈検証 | 正当化〉