Gödel első nemteljességi tétele

Magyar

Kiejtés

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

Főnév

Gödel első nemteljességi tétele

1. (matematika, logika) Minden ellentmondásmentes, a természetes számok elméletét tartalmazó, formális-axiomatikus elméletben megfogalmazható olyan állítás, mely se nem bizonyítható, se nem cáfolható.

Fordítások

Tartalom

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