Tafsir of Surah Al-Israa 17:16
﴿وَإِذَا أَرَدْنَا أَن نُّهْلِكَ قَرْيَةً أَمَرْنَا مُتْرَفِيهَا فَفَسَقُوا فِيهَا فَحَقَّ عَلَيْهَا الْقَوْلُ فَدَمَّرْنَاهَا تَدْمِيرًا﴾
Translation of the meaning
And when We intend to destroy a city, We command its affluent but they defiantly disobey therein; so the word [i.e., deserved decree] comes into effect upon it, and We destroy it with [complete] destruction.
English Translation - Noor International Center — v1.1.2 · QuranEnc.comThe words of the two imams are given in their original Arabic, verbatim, with references.
Shaykh al-Islam Ibn Taymiyyah
وقال في " الكوني ": {إنما أمره إذا أراد شيئا أن يقول له كن فيكون} وكذلك قوله: {وإذا أردنا أن نهلك قرية أمرنا مترفيها ففسقوا فيها فحق عليها القول} على إحدى الأقوال في هذه الآية.«مجموع الفتاوى» 10/24Imam Ibn al-Qayyim
إرادة كونية شاملة لجميع المخلوقات كقوله: {فعال لما يريد} وقوله: {وإذا أردنا أن نهلك قرية} وقوله: {إن كان الله يريد أن يغويكم} ونظائر ذلك«شفاء العليل في مسائل القضاء والقدر والحكمة والتعليل» 1/32