WikiDer > Логика Гёделя

В математическая логика, а логика Гёделя первого порядка является членом семьи конечный- или же бесконечнозначные логики в котором наборы ценности истины V - замкнутые подмножества отрезка [0,1], содержащие как 0, так и 1. Различные такие множества V в общем определяют разные логики Гёделя. Концепция названа в честь Курт Гёдель.^[1]

Рекомендации

Этот математическая логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е