-MV o nahradení, syntaktická verzia
-dokázať, že axiómy výrokovej logiky sú tautológie
-ľubovoľná MV zo sémantiky PL + dôkaz
-rozšírenie teórie, konzervatívne rozšírenie teórie, ekvivalentnosť teórií
a potom jazyk a príklady... ten istý typ ako vzor...
ale aj tak si nemyslím že dajú to isté znova...