Gödel második nemteljességi tétele

Magyar

Kiejtés

• IPA: [ ˈɡødɛl ˈmaːʃodik ˈnɛmtɛjːɛʃːeːɡi ˈteːtɛlɛ]

Főnév

Gödel második nemteljességi tétele

1. (matematika, logika) Minden elsőrendű T elméletben eldönthetetlen Con(T) (azaz T konzisztenciája), feltéve, hogy

• T konzisztens,
• T tartalmazza a Peano-axiómarendszert és
• T elemeinek Gödel-kódjai rekurzívan felsorolható halmazt alkotnak.

Fordítások

Tartalom

angol: Gödel's second incompleteness theorem (en)