= محال.
ثم طائفة من المفهومات تُحمَل على نفسها حملًا شائعًا - كالمفهوم والممكن العام ونحوهما -، وطائفة لا تُحمَل على نفسها بذلك الحمل، بل يحمَل عليها نقائضَها كالجزئي واللامفهوم، ومن ههنا اعتُبِرَ في التناقض اتحاد، نحو: الحمل فوق الوحدات الثماني الذائعات.
وههنا شك مشهور، وهو: أن الحمل محال؛ لأن مفهوم جيم عين مفهوم «ب» أو غيره، والعينية تنافي