Text se věnuje možnosti uspokojivé epistemologie matematického platonismu: otázce, jak je možné získat znalost o entitách, které jsou abstraktní a na mysli nezávislé. První část textu se zaměřuje na vymezení platonismu a formulaci epistemologických námitek, představuje námitky Paula Benacerrafa a Hartryho Fielda. Ve druhé části je představena a analyzována matematická intuice postulovaná Kurtem Gödelem. Gödelova epistemologická strategie je upřesněna pomocí otázek: (1) O jaký typ intuice se jedná? (2) Jedná se o spolehlivý zdroj znalosti? (3) Podává Gödel nějaké vysvětlení mechanismu intuice? and This paper deals with the possibility of satisfactory epistemology of mathematical platonism: it questions how it is possible to obtain a knowledge of abstract and mindindependent entities. The first part of the paper focuses on defining platonism and formulation of epistemological objections by Paul Benacerraf and Hartry Field. In the second part mathematical intuition postulated by Kurt Gödel is presented and analysed. Gödel's epistemological strategy is identified on the basis of questions: (1) What kind of intuition is it? (2) Is it a reliable source of knowledge? (3) Does Gödel provide an explanation of the mechanism of intuition?
V textu je představen ontologický argument Kurta Gödela, který je porovnán s argumentem G. W. Leibnize. Argumenty jsou srovnány ve třech krocích: 1) pojetí Boha a božích vlastností, 2) pojetí esence a existence božského individua, 3) využití modální logiky. and The paper presents Kurt Gödel's ontological argument and compares it with G. W. Leibniz's argument. These arguments are confronted in three steps: 1) conception of God and God's properties, 2) conception of essence and existence of God-like individual, 3) use of modal logic.