Metadata
Author: WikiMatrix
Data
Danish[da]
Kurt Gödel beviste sit fuldstændighedsteorem i sin doktorafhandling(1929), der fastlægger en korrespondance mellem syntaks og semantik i førsteordens prædikatslogik.
Hungarian[hu]
Doktori disszertációjában Gödel (1929) bebizonyította teljességi tételét, amely szerint az elsőrendű logikában a szemantika és a szintaktika megegyeznek.