Теїзм — це погляд на те, що існує Бог, який є творцем і підтримує всесвіт і є необмеженим щодо знань (всезнання), влади (всемогутності), розширення (всеєдності) і моральної досконалості. Хоча Бога вважають безстатевим, традиційно його називають займенником чоловічого роду.
У західній (християнській) думці Бог традиційно описується як істота, що володіє принаймні трьома необхідними властивостями: всезнання (всезнаючий), всемогутність (всемогутній) і вседоброзичливість (надзвичайно добрий). Іншими словами, Бог знає все, має силу зробити все, і він абсолютно добрий.
Іншими словами, традиційні теоретичні переваги філософії науки, такі як точність, послідовність, плідність, простота, розмах (наприклад, Keas, 2018), стосуються внутрішньої частини теорії або її зв’язку з доказами.
Якби Бога можна було раціонально довести, його існування було б неважливим для людей. Це тому що Не можна раціонально довести, що його існування важливе для нас. У «Обґрунтуванні знання» теолог-кальвініст Роберт Л. Реймонд стверджує, що віруючі не повинні намагатися довести існування Бога.
Онтологічний доказ Геделя використовує математичну логіку, щоб показати, що існування Бога є необхідною істиною. «Бог» у доказі Геделя визначається як «богоподібний об’єкт». Для того, щоб об’єкт був «богоподібним», він повинен мати всі хороші або позитивні властивості. Крім того, богоподібний предмет не має негативних властивостей.