«تقدم علت بر معلول» مقدمۀ برهان فارابی است. «تقدم «وجوب بر وجود» یکی از مقدمات برهان سینوی است. که هدف برهان اول «رد تسلسل علل» است. و دومی «اثبات واجب‌الوجود» است.