| Общие сведения | Энциклопедия | Научные публикации | Публицистика | Новости | Каталоги | Авторы |
| | На главную | О проекте | Контакты | | |
|
 |
|
Рубрикатор:
|
Математика
Научная публикация
Вопросы обоснования экзистенциальности объектов в теории логически трансцендентных классов ТСТ
В настоящей работе, в рамках современной классической формальной логики нулевого и первого порядка рассматриваются вопросы экзистенциальности (существования) объектов в теории логически трансцендентных классов - "ТСТ". Сформулированы критерии конструктивного существовании исследуемых объектов в теории "ТСТ". Рассмотрены формально-логические основы теории "ТСТ". Доказана теорема об экзистенциальности универсального класса U.
|
|
|
|