is a man and a Greek" is sometimes true. When we say "cannibals still exist in Africa," that means that the propositional function "
is a cannibal now in Africa" is sometimes true, i.e. is true for some values of
. To say "there are at least
individuals in the world" is to say that the propositional function "
is a class of individuals and a member of the cardinal number