Burhan ash-Shiddiqin

Burhan ash-Shiddiqin adalah sebuah argumen formal yang diajukan filsuf Muslim Ibnu Sina untuk membuktikan keberadaan Tuhan. Dalam argumen ini, Ibnu Sina berusaha menunjukkan melalui serangkaian argumen logika bahwa ada suatu entitas yang wajib ada, tak mungkin tidak ada, dan Ialah Tuhan atau Allah. Ibnu Sina memulai argumen ini dengan menyatakan bahwa entitas-entitas di dunia menjadi ada yang bersifat wajib, dan ada yang mumkin. Banyak hal di dunia ini bersifat mumkin atau mungkin, dan tidak pasti ada dengan sendirinya. Kalau kita mengumpulkan seluruh entitas mumkin di alam semesta dalam suatu himpunan, himpunan itu pun juga bersifat mumkin. Sebagai sesuatu yang mumkin, himpunan ini membutuhkan sebab eksternal agar ia ada. Entitas eksternal ini tidak mungkin bersifat mumkin, semua yang mumkin adalah bagian dari himpunan dan bukanlah suatu sebab eksternal. Dengan demikian, menurut kesimpulan Ibnu Sina, entitas eksternal ini pastilah bersifat wajib. Ibnu Sina menyebut entitas ini sebagai wajib al-wujud, dan mengidentifikasikannya dengan Tuhan. Selanjutnya, ia memberikan beberapa argumen untuk menunjukkan bahwa sifat-sifat Yang Wajib Ada adalah sama dengan sifat-sifat Allah dalam ajaran Islam, termasuk sifat wahid, Maha Mengetahui, Maha Berkuasa, dan Maha Baik.