Stratification (mathematics) Clause (logic) Frege Grundgesetze der Arithmetik Hassler Whitney Horn clause Interpretation (logic) New Foundations Predicate (logic) René Thom Russell's paradox Whitney stratification