  To see the intuitive idea behind this definition, consider how the definition is satisfied in the case of the number 1 preceding the number \(2\): there is a concept \(F\) (e.g., let \(F\) = being an author of Principia Mathematica) and an object \(z\) (e.g., let \(z\) = Alfred North Whitehead) such that: