ラッセルのパラドックス
A motivation for the use of stratification is to address Russell's paradox, the antinomy considered to have undermined Frege's central work "Grundgesetze der Arithmetik" (1902).