定義するとは

条件や性質〈命題〉の定義と、モノの定義は違う。

モノを定義するとは、存在させる〈make it exist〉こと。

• 生成
  • 構成的生成
  • 超越的生成
    • 正当化：存在命題 → スコーレム関数〈選択関数 | セレクター〉
    • 正当化：一意性命題 → 一意値
• 条件確認〈検証 | 正当化〉