Serbian Геделове теореме о непотпуности Cited by user KrleNS on 11 Sep 2023 У математичкој логици, Геделове теореме о непотпуности су две теореме о ограничењима формалног система, које је доказао Курт Гедел, 1931.
English Gödel's incompleteness theorems Cited by user Citation bot on 28 May 2023 Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories.