Věta o kompaktnosti je jednou ze základních vět matematické logiky a teorie modelů. Poprvé ji dokázal rakouský logik Kurt Gödel.
Věta o kompaktnosti je jednou ze základních vět matematické logiky a teorie modelů. Poprvé ji dokázal rakouský logik Kurt Gödel.