Metadata
Author: WikiMatrix
Data
Danish[da]
Gödel anvendte fuldstændighedsteoremet til at bevise kompakthedsteoremet, der demonstrerede finitte natur af logiske konskevenser af første ordener.
Hungarian[hu]
Gödel a kompaktsági tétel bebizonyításához a komplettségi tételt használta, ezzel megmutatva az elsőrendű logika véges természetét.