... ההוכחה האונטולוגית) הוא טיעון לוגי - אונטולוגי שמטרתו להוכיח את קיום האל. טיעון זה הוא טיעון אפריורי שלפיו אלוהים קיים כי קיומו הוא בבחינת הכרח. לטיעון קמו במהלך
ההיסטוריה של הפילוסופיה הן מתנגדים והן תומכים רבים. גם בקרב המתנגדים וגם בקרב התומכים ניתן למצוא רבים מהפילוסופים הגדולים וכן פילוסופים, לוגיקנים ומתמטיקאים בני - ימינו.
היסטוריה את הטיעון האונטולוגי העלה לראשונה אנסלם הקדוש בן המאה ה - 11, בפרק השני של ספרו הפרוסלוגיום. לטיעון נודעה חשיבות רבה
בהיסטוריה של הפילוסופיה, ובמהלך השנים קמו לו מתנגדים רבים (ובהם רבים מהפילוסופים הגדולים, כגון תומאס אקווינס, עמנואל קאנט, דוד יום, ...