How much do you know? There is a common theorem which states that the set of all finite subsets of an infinite set is equipotent to the full set. Thus, has cardinality of . Then, if is the set of all grammatical sentences we can clearly inject . Then, assuming that I understand a grammatical sentence the sentences form an infinite subset of . It clearly follows that .