Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52
|
psyoffice.ru » Словари и энциклопедии » Философия » Лебедев С.А. Философия науки: Словарь основных терминов. — М.: Академический Проект, 2004. — 320 с. (Серия «Gaudeamus»)
ТЕОРЕМЫ— множество производных, в частности, логически выводимых в конечном счете из аксиом высказываний теории. Истинность теорем гарантируется самим фактом их логического выведения (или генетического конструирования) из аксиом либо установлением тождества их содержания некоторому подмножеству протокольных предложений данной теории. (См. теория, аксиомы, вывод).
Категория: Словари и энциклопедии » Философия » Лебедев С.А. Философия науки: Словарь основных терминов. — М.: Академический Проект, 2004. — 320 с. (Серия «Gaudeamus») Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|