Не "выразимое", а "выражаемое", т.е. будет выражаться бесконечно долго. Правила вывода при этом могут быть как конечными (что приводит к бесконечному описанию аксиоматики), или бесконечными (а этом случае аксиоматика может быть как конечной, так и бесконечно описываемой).
В том-то и дело, что практически что угодно можно описать конечно. Так или иначе. Причём мало того, что просто конечно, так и ещё и математически конечно, т.е. построить формальную аксиоматику с правилами вывода и простроить к явлению отношение интерпретации. Наш мир рационален, мистичности нету. Поэтому всё окружающее легко описать.
#хроники_пельменя
В прошлые выходные друг ненадолго свалился с каким-то етицким вирусом. Пельмень всячески проявлял участие, урсял во всю урсялку и старательно превращал постельный режим в пельменный:
Впрочем, теперь в доме у друга пельменная терапия применяется не только по болезни, но и в воспитательных целях. Например, котиг обнаружил, что вместо проводной компуктерной мыши с отгрызенным проводом была куплена беспроводная, и хозяин нагло её мацает вместо того, чтобы гладить котичку. Конечно же, Пельмень впёрся прямо на компуктерный стол всем своим мохнатым туловищем, и пельменная терапия урсянием была проведена принудительно:
Поставщик урсяния с мая 2025.
На текущей должности с июня.
Мощность урсяльника возрастает пропорционально размеру.