Вот видите, мы по разному с вами понимаем, что такое метатеория, именно поэтому я и просил формального определения.
Я понимаю так, что метатеория-Х теории-Y - это тоже некоторая теория-T (которую можно "записать") у которой также есть метатеория-M.
Непонятно, в чём именно Вы углядели различие? Там по ссылке в первом предложении сказано, что мететеория - это тоже некая теория. Есть ли у неё самой метатеория мы узнаем, когда сформулируем её. Скорее всего, конечно есть. По крайней мере, мы обычно исходим из того, что осмысленные теории формализуемы, т.е. их язык и аксиоматику можно однозначно описать, а поскольку такое описание - это и есть метатеория, значит мы исходим из предположения, что метатеория существует.
Однако, повторюсь, на деле ещё неизвестно как может получиться. Предположения-то предположениями ...
"На дне" - это значит теория не нуждающаяся в метатеории.
Это как Вы себе представляете?
Язык и аксиоматика теории самоочевидны даже младенцу (врождённое знание)?
-- Пн июл 13, 2009 17:28:12 --Уважаемый
epros, похоже, Вы еще "что-то знаете", кроме аксиоматики
.
Э-ээ, в смысле? Что знаю?