Nulle divinité si ce n'est Lui : trois pièces, un mécanisme
La formule لَآ إِلَٰهَ إِلَّا هُوَ fonctionne en trois temps : لا nie toute divinité, إلا retire de cette négation une seule exception, et هو désigne ce qui reste. C'est la preuve par soustraction appliquée à l'unicité.
Premier temps, la particule لا : une négation totale, qui vide la catégorie « divinité » de tout ce qu'elle pourrait contenir.
Deuxième temps, la particule إلا : une exception, qui soustrait de cette négation un seul élément.
Troisième temps, le pronom هو : il reçoit ce qui reste, et renvoie à Dieu nommé juste avant. « Dieu, nulle divinité si ce n'est Lui, le Vivant, Celui qui subsiste par Lui-même » (2:255).
La formule n'affirme pas d'abord ; elle nie tout, puis ne laisse subsister qu'un seul. C'est exactement le mécanisme décrit dans « La preuve par soustraction ». Le corpus emploie la construction لا إله إلا dans 37 phrases.
Dans le texte
ٱللَّهُ لَآ إِلَٰهَ إِلَّا هُوَ ٱلْحَىُّ ٱلْقَيُّومُ