Wersja z 21:23, 17 mar 2020 edytuj Tarnoob (dyskusja \| edycje) Redaktorzy 86 503 edycje →‎Linki zewnętrzne: szablon ← poprzednia edycja		Wersja z 20:52, 1 wrz 2021 edytuj anuluj edycję Zbisem (dyskusja \| edycje) Redaktorzy 1040 edycji Poprawiłem błąd i dodałem książki do bibliografii. następna edycja →
Linia 32: === Drugie, o niedowodliwości niesprzeczności === To twierdzenie jest konsekwencją poprzedniego. Głosi ono, że w ramach żadnego ~~rozstrzygalnego~~niesprzecznego systemu formalnego pierwszego rzędu zawierającego w sobie aksjomaty Peana nie da się dowieść niesprzeczności ~~jego~~środkami ~~samego~~tego systemu. Aby taki dowód przeprowadzić, niezbędny jest szerszy system, którego niesprzeczności w ramach niego samego również nie da się dowieść – i tak ''ad infinitum''. == Zarys dowodu == Linia 102: == Bibliografia == * {{cytuj książkę \|nazwisko=Mostowski \|imię=Andrzej \|autor link = Andrzej Mostowski \|tytuł=Logika matematyczna \|wydawca=Monografie Matematyczne \|data=1948 \|miejsce=Warszawa-Wrocław}} * {{cytuj książkę \|nazwisko=Heller \|imię=Michał \|autor link = Michał Heller \|tytuł=Wszechświat u schyłku stulecia \|wydawca=Znak \|data=1994 \|miejsce=Kraków \|isbn=83-7006-348-9 \|odn=tak}} * {{cytuj książkę \|nazwisko=Franzén\|imię=Torkel \|tytuł=Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse \|wydawca=A.K. Peters Ltd\|data=2005\|isbn=1-56881-238-8\|odn=tak}} * {{cytuj książkę \|nazwisko=Mostowski\|imię=Andrzej ~~Stanisław~~\|autor link = Andrzej Mostowski \|tytuł=Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel \|wydawca=Praeger\|data=1952 \|isbn=978-0313231513\|odn=tak}} * {{cytuj książkę \|nazwisko=Nagel \|imię=Ernest \|nazwisko2=Newman \|imię2= James R. \|tytuł=Gödel’s Proof \|wydawca=Routledge and Kegan Paul \|data=1958 \|miejsce=London \|isbn=0415355281 \|odn=tak}} * {{cytuj książkę \|nazwisko=Krajewski \|imię=Stanisław \|autor link = Stanisław Krajewski (filozof) \|tytuł=Twierdzenie Gödla i jego interpretacje filozoficzne \|wydawca=Wydawnictwo Instytutu Filozofii i Socjologii PAN \|data=2003 \|miejsce=Warszawa \|isbn=83-7388-017-8}} == Linki zewnętrzne ==

Twierdzenia Gödla: Różnice pomiędzy wersjami