براهین متعددی برای اثبات وجود خداوند متعال ارائه شده است. برهان امکان و وجوب ابن سینا که اولینبار توسط فارابی مطرح شده، یکی از محکمترین برهانهای خداشناسی است که بدون نیاز به مقدمات دیگری، فقط از راه وجود، به اثبات خدا میپردازد. میتوان به کمک این برهان، پس از اثبات وجود خدا به عنوان واجبالوجود، به صفات سلبی و ثبوتی خداوند که برای واجبالوجود قابل تصور است، پی برد. خواجه نصیرالدین طوسی در کشفالمراد به بیان این صفات پرداخته که به وجوب وجود خداوند متعال برمیگردند.
)