Ponieważ zarówno jak i są spełnione, spełniona jest też jeśli formułą tą jest to albo albo o głębokości równej co najwyżej należą do zbioru Hintikki. Ponieważ która z nich należy do zbioru i jest spełniona, więc spełniona jest też formuła
Tak więc formuła dowolnej głębokości ze zbioru Hintikki jest spełniona przez nasz model, co kończy dowód.
Zobacz też Jaakko Hintikka
Kategoria:Teoria obliczeń