Článek kriticky představuje vybrané pokusy o formulaci modálního ontologického důkazu ve druhé pol. 20. století v prostředí anglosaské analytické filozofie.
