- доказуемая непротиворечивость
- мат. demonstrable consistency
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
ПРОТИВОРЕЧИЯ ЗАКОН — 1) Один из осн. принципов логич. рассуждения, согласно к рому никакое предложение не может быть одновременно истинным и ложным (или: не могут быть одновременно истинными нек рое предложение и его отрицание). 2) Тождественно истинная (см.… … Философская энциклопедия
Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и у … Википедия
ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… … Википедия