|
psyoffice.ru » Словари и энциклопедии » Философия » Лебедев С.А. Философия науки: Словарь основных терминов. — М.: Академический Проект, 2004. — 320 с. (Серия «Gaudeamus»)
ТЕОРЕМЫ— множество производных, в частности, логически выводимых в конечном счете из аксиом высказываний теории. Истинность теорем гарантируется самим фактом их логического выведения (или генетического конструирования) из аксиом либо установлением тождества их содержания некоторому подмножеству протокольных предложений данной теории. (См. теория, аксиомы, вывод).
Категория: Словари и энциклопедии » Философия » Лебедев С.А. Философия науки: Словарь основных терминов. — М.: Академический Проект, 2004. — 320 с. (Серия «Gaudeamus») Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|