sentences: ]the higher types and orders are solely a "façon de parler"" (p. 134).But this only works when the number of individuals and primitive predicates is finite, for one can construct finite strings of symbols such as