Трансфінітна формула – це
КОНСТРУКТИВНА СЕМАНТИКА - сукупність способів розуміння суджень у конструктивній математиці. Необхідність в особливій семантиці викликана різницею загальних принципів, що лежать в основі традиційної (класичної) та конструктивної математики (далі останній термін буде в… …)
Метаматематика — теорія доказів, теорія доказу, у сенсі слова Метатеорія математики, яка передбачає ніяких спеціальних обмежень на характер використовуваних метатеоретичних методів, спосіб завдання і обсяг досліджуваної в М.… … Велика радянська енциклопедія
Цілком упорядкована множина — Цей термін має й інші значення, див. Упорядкована множина. Впорядковане безліч лінійно впорядковане безліч M таке, що в будь-якому його непустому підмножині є мінімальний елемент, тобто це ... Вікіпедія
Список статей з математичної логіки - Це службовий список статей, створений для координації робіт з розвитку теми. Дане попередження не ... Вікіпедія
Фундована множина — Фундована множина частково впорядкована множина, для якої у будь-якого непустого підмножини частково впорядкована множина має мінімальний елемент[1]. Під мінімальним елементом … Вікіпедія
індукція — ІНДУКЦІЯ (від латів. inductio виведення; збудження) цей термін у сучасній логіці використовується як синонім точнішого, але більш громіздкого терміна «індуктивне міркування». Індуктивне міркування містить перехід від емпірично… Енциклопедія епістемології та філософії науки