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

A Wikiszótárból, a nyitott szótárból

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

Fordítások