<< Высказывание Дескриптивное (от англ. description - описание), или: Высказывание описательное, — высказывание, главной функцией которого является описание действительности. Если описание, даваемое высказыванием, соответствует реальному положению дел, высказывание считается истинным, если не соответствует - ложным. В. д. есть повествовательное предложе- ние, |
|
Гёделя Теорема >> - важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье «О формально неразрешимых предложениях Principia Mathematica и родственных систем» Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение А, |