 In the language of modern logic, supplied with the binary predicate ∈ of membership, Frege’s principle of naïve comprehension, to which he was committed by Basic Law V in the Grundgesetze, can also be rendered as the following schema: 