Нет обязательного требования кому-то проименовать все элементы счётного можества. Или, даже, большого конечного множества. Для человеческой мысли достаточно рассмотрения свойств такого множества.
Я немного не о том. Например, у нас есть несколько "изначальных понятий". Операции над ними порождают некоторые конструкции. Эти конструкции довольно точно описывают некоторые события. Но, вдруг, начиная с некоторого этапа новые события уже не вписываются ни в одну конструкцию, построенную на этих понятиях. Мы вводим в нашу модель новые понятия для объяснения этих новых событий. Все становится на свои места - наша "теория" богатеет и уже способна описать не только первоначально описанные события, но и те, которые на первом этапе в нее "не вписывались". И, вдруг, опять мы замечаем новые события, для которых нужно вводить новые понятия. И т.д.
Так вот, я собственно к тому, что может оказаться (и скорее всего так и будет), что для построения максимально точной модели мира окажется совершенно недостаточно счетного (а тем более конечного) множества базовых понятий.