검색 결과

[[수리논리학]]에서 '''괴델의 완전성 정리'''(Gödel-完全性定理, {{llang|en|Gödel’s completeness theorem}})는 [[1차 논리] ...하자. 또한, <math>\phi</math>가 (자유 변수를 갖지 않는) <math>\sigma</math>-명제라고 하자. '''괴델의 완전성 정리'''에 따르면, 다음 두 조건이 서로 [[동치]]이다.<ref name="Marker">{{서적 인용 | last=Mark ...

...로 확대할 수 있다. 마찬가지로, 모든 NBG의 모형에서, 모형의 원소의 원소인 것들을 골라내면 ZFC의 모형을 얻는다. 따라서, [[괴델의 완전성 정리]]에 의하여 NBG는 ZFC의 [[보존적 확장]]이다. ...다룰 수 있으며, 그 방식은 크게 베르나이스의 방법과 괴델의 방법 2가지로 나눌 수 있는데, 이들 간의 근본적인 차이는 없으며 주로 괴델의 진술 방식이 더 잘 쓰인다. ...

'''괴델의 불완전성 정리'''({{llang|en|Gödel’s incompleteness theorems}})는 [[수리논리학]]에서 [[페아노 ...기하학의 성장으로 인해 사람들은 주어진 체계 내에서 어떤 명제의 증명 불가능을 증명할 수 있다는 메타-증명에 관심을 갖기 시작했다. 괴델의 논문도 산술학에서 몇 가지 중요한 명제의 증명 불가능을 증명한 것이다. 또한 기하학의 공리가 자명성을 가진다는 전통적인 믿음이 흔들리게 ...

1935년 가을에 [[쿠르트 괴델]]이 구성 가능 전체 <math>L</math>을 도입하였으며,<ref name="Moore">{{서적 인용|last1=Moore | 저자링크=쿠르트 괴델 | 이름=Kurt | 성=Gödel ...

이 해는 [[쿠르트 괴델]]이 1949년에 발견했다.<ref>Gödel, K., [http://journals.aps.org/rmp/abstract/10. 괴델 시공간은 [[아인슈타인 방정식|아인슈타인 장 방정식]]의 정규(특이점이 없는) 해의 드문 예이다. 괴델의 원래 좌표 조각은 [[리만 다양체|측지완비]]이고 특이점이 없다. 따라서 이것은 대역적 좌표 조각이고, 시공간은 <math>\mathb ...