Ученый искал рациональные свидетельства существования Бога, опираясь на Аристотелевы доказательства, ставшие классическими для всех средневековых философов ислама и иудаизма.