Logika Gödla

W logice matematycznej logika Gödla pierwszego rzędu należy do rodziny logik o skończonych lub nieskończonych wartościach, w których zbiory wartości prawdziwych V są zamkniętymi podzbiorami przedziału [0,1] zawierającymi zarówno 0, jak i 1. Różne takie zbiory V ogólnie określają różne logiki Gödla. Koncepcja nosi imię Kurta Gödela .