Modální logika, operátory nutnosti a možnosti, jejich dualita. Sémantika možných světů.
Gödelův důkaz boží existence v modální logice.
důkaz
test
