 Behmann’s paper 1931 (presented in 1929) locates the source of the paradoxes in the definitional machinery. The paper begins with an analysis of Russell’s contradiction in the form of predicate application. There he observes that, once the Russell predicate \(F\) is defined by the stipulation