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