- трансфинитная формула
- мат. transfinite formula
Большой англо-русский и русско-английский словарь. 2001.
трансфинитная формула
Смотреть что такое "трансфинитная формула" в других словарях:
КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… … Математическая энциклопедия
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
Вполне упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Вполне упорядоченное множество линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами это… … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Фундированное множество — Фундированное множество частично упорядоченное множество , для которого у любого непустого подмножества частично упорядоченное множество имеет минимальный элемент[1]. Под минимальным элементом в … Википедия
индукция — ИНДУКЦИЯ (от лат. inductio выведение; возбуждение) этот термин в современной логике используется как синоним более точного, но более громоздкого, термина «индуктивное рассуждение». Индуктивное рассуждение содержит переход от эмпирически… … Энциклопедия эпистемологии и философии науки
