 The concept F is the only one finding expression in this last assertion, apart from standard logical operators. Therefore the assertion is about the concept F. It is in the general form of a numerosity assertion, which does not necessarily refer to, or generalize about, numbers. For arbitrary n, the logical form in question will be 