توحید, یکی از باور های ابتدائی در ادیان ابراهیمی است, و چند خدایی و شرک, از اعمال مضموم.

برهان

برای برسی برهان توحید, نیاز به پذیرش ۳ اصل ابتدائی منطق داریم.

• طبق قانون اوَّل منطق, به انگلیسی identity یا این همانی, هر گزاره, با خود آن گزاره برابر است.
• طبق قانون دوّم منطق, حمل ۲ محمول متضاد بر یک موضوع یا تناقض محال است.
• طبق قانون سوم منطق, به انگلیسی excluded middle یا طرد شقّ ثالث, A هیچ گاه نمی‌تواند !A یا نقیض خود باشد.
• تعرف الأشياء, بأضدادها

اگر بگوئیم که چند علَّت علَّت العلل برای جهان هستی وجود داشته باشد, برای این که این ۲ علَّت العلل ۱ علَّت نباشند, باید تضاد هایی با یکدیگر داشته باشند؛ جمع ۲ نیرو و علَّت العلل متضاد, موجب نیستی, عدم, و تناقض می‌شود که محال است زیرا ما وجود داریم.

اگر اصرار به چند خدایی داشته باشیم, ولی بگوییم خدایان هیچ تفاوتی با یکدیگر ندارند, طبق اصل اوَّل منطق, یا این همانی, ما در واقع ۱ خد داریم زیرا هیچ تضادی با یکدیگر ندارند, و بنابر این, یک مجموعه واحد به حساب می‌آید.