Přednáška je pojata spíše popularizačně a koncipována pro posluchače bez jakýchkoli předběžných znalostí teorie modelů a matematické logiky (je však předpokládána jistá zběhlost v matematickém uvažování na úrovni studentů vyšších ročníků MFF). Z tohoto důvodu nejsou v podstatě vůbec uváděny důkazy; výběr uváděných tvrzení i způsob jejich formulace je rovněž přizpůsoben zamýšlenému účelu (někdy na úkor maximální šířky i hloubky prezentovaných výsledků). Kvůli srozumitelnosti jsou v přednášce opominuta témata (byť důležitá) nacházející se mimo hlavní linii výkladu.