اصل موضوع هم نهشتی

{congruence axiom} [ریاضی] اصل موضوع مربوط به انطباق اشیای هندسی

💡 و معرفی برخی از اجسام پنج‌گانه افلاطونی یا اجسام منتظم پنج‌گانه (یک چندوجهی را منتظم گوییم اگر وجه‌های آن چندضلعی‌های منتظم مساوی باشند و کنج‌های آن نیز همگی برابر)(ز) بسط روش اصل موضوعی که اثبات یک ادعاست به وسیله سلسله استنتاج‌های دقیق از چند فرض آغازین که کاملاً مشخص هستند.

💡 این تخلص به معنی گریز زدن و منتقل شدن از تشبیب و پیش‌درآمد به اصل مقصود قصیده است. این گریز زدن به وسیلهٔ بیتی که آن را «بیت تخلص» می‌نامند، صورت می‌گیرد؛ حال اگر شاعر، این بیت را به زیبایی و گیرایی و مناسبت لطیف سروده و با مهارت و استادی از تشبیب به اصل موضوع قصیده انتقال یافته باشد، به کار او «حسن تخلص» می‌گویند.

💡 پس اصل موضوع هم‌مصداقی به ما کمک می‌کند که بدانیم چه موقع دو مجموعه با هم برابرند. با توجه به این اصل همواره اثبات تساوی دو مجموعه به دو بخش تقسیم می‌شود که باید در هر قسمت نشان دهیم هر یک از مجموعه‌ها زیرمجموعه دیگری است.