Godel tétele

Gödel tétele jelentheti a következő Kurt Gödel által bizonyított tételek egyikét :