入力されたワードを説明してください。
スコットのトリック
集合論において、スコットのトリック()とは真クラス上の同値関係についての同値類の定義を、累積的階層のレベルを参照することによって与える方法である。
この方法は選択公理でなく正則性公理に依存している。選択公理を仮定しないZFにおいて順序数の代表元を定義するのに用いることができる。この方法は によって導入された。
順序数の代表元を集合として定義する問題を超えて、スコットのトリックは基数の代表元を得たり、もっと一般的なにも用いることができる。例えば、全順序集合の順序型はその一例である。また、スコットのトリックはモデル理論において真クラスの超冪を作るときに（選択公理を仮定したとしても）必要であると信じられている。