eski mantığın
vacibi ispatkaidelerinden biridir.
vacip zatıyla var olan ve varlığı başka bir varlığa muhtac olmayana denir.
mümkün ise var olmak için başka bir varlığa muhtaç olana denir.mümkün olanın varlığına sebep vacipse mesele kalmaz. yok eğer başka mümkün bir şeyse onun da varlığına sebep vardır. o sebep vacipse allah'tır, değilse ona da bir sebep vardır. bu böylece sürüp gider ki buna
teselsüldenir. aklen olmayacak bir şeydir.