Ebooks, Audobooks and Classical Music from Liber Liber
a b c d e f g h i j k l m n o p q r s t u v w x y z





Web - Amazon

We provide Linux to the World


We support WINRAR [What is this] - [Download .exe file(s) for Windows]

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
SITEMAP
Audiobooks by Valerio Di Stefano: Single Download - Complete Download [TAR] [WIM] [ZIP] [RAR] - Alphabetical Download  [TAR] [WIM] [ZIP] [RAR] - Download Instructions

Make a donation: IBAN: IT36M0708677020000000008016 - BIC/SWIFT:  ICRAITRRU60 - VALERIO DI STEFANO or
Privacy Policy Cookie Policy Terms and Conditions
불완전성 정리 - 위키백과

불완전성 정리

위키백과 ― 우리 모두의 백과사전.

불완전성 정리1931년 쿠르트 괴델에 의해 증명된 유명한 수리논리학의 정리 가운데 하나이다. 힐베르트형식주의에 대한 비판으로 나온 것으로 자연수론을 논리없이 체계화하면 그 체계가 무모순성을 지니는 한 참이지만, 그 명제중에서 참임을 증명할 수 없는 명제가 존재한다는 것이다.

불완전성 정리는 다음과 같은 두 개의 정리로 이루어져 있다.

  1. 산술의 기본 공리를 포함하는 임의의 모순이 없는 이론체계에서, 참이지만 증명 불가능한 명제가 항상 존재한다. 다시 말해, 일정한 설명력을 갖는 어떤 이론체계도 완전할 수 없다.
  2. 산술의 기본 공리와 증명가능성에 관한 공리를 포함하는 이론체계에 모순이 없다면, 그 이론체계는 자기 자신에게 모순이 없음을 증명할 수 없다.


이 문서는 수학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.
Our "Network":

Project Gutenberg
https://gutenberg.classicistranieri.com

Encyclopaedia Britannica 1911
https://encyclopaediabritannica.classicistranieri.com

Librivox Audiobooks
https://librivox.classicistranieri.com

Linux Distributions
https://old.classicistranieri.com

Magnatune (MP3 Music)
https://magnatune.classicistranieri.com

Static Wikipedia (June 2008)
https://wikipedia.classicistranieri.com

Static Wikipedia (March 2008)
https://wikipedia2007.classicistranieri.com/mar2008/

Static Wikipedia (2007)
https://wikipedia2007.classicistranieri.com

Static Wikipedia (2006)
https://wikipedia2006.classicistranieri.com

Liber Liber
https://liberliber.classicistranieri.com

ZIM Files for Kiwix
https://zim.classicistranieri.com


Other Websites:

Bach - Goldberg Variations
https://www.goldbergvariations.org

Lazarillo de Tormes
https://www.lazarillodetormes.org

Madame Bovary
https://www.madamebovary.org

Il Fu Mattia Pascal
https://www.mattiapascal.it

The Voice in the Desert
https://www.thevoiceinthedesert.org

Confessione d'un amore fascista
https://www.amorefascista.it

Malinverno
https://www.malinverno.org

Debito formativo
https://www.debitoformativo.it

Adina Spire
https://www.adinaspire.com