Согласно теории множеств Кантора, множество всех возможных слов, как произнесённых, так и записанных на бумаге, является счётным. Если учитывать, что множество знаков (букв, символов и т. д.) в языке конечно, то очевидно, что на его основе можно сформировать счётное множество. Другое дело — множество вещей, о которых мы можем подумать. Оно, очевидно, не является счётным. Мы можем представить, например, множество окружностей на плоскости, имеющее мощность континуум.