 To obtain a set-theoretic Curry sentence, consider the set consisting of anything that is a member of itself only if time is infinite. Say that we introduce the name \(c\) for that set, by stipulating \(c =_{def} \{ x: x \in x {\rightarrow}\pi \}\). Applying the principle  (Set)  to the sentence \(c \in c\), we find: