1. Veta o kompaktnosti vo vyrokovej logike + dosledok
2. Veta o dedukcii v predikatovej logike
3. Def. Torsti?
4. Teoria s rovnostou
5. Prenexny tvar formul
6. Dokazte, ze kazdu bezospornu teoriu mozeme konzistentne rozsirit do
H-teorie