independent axiom

🌐 اصل مستقل

اصلِ مستقل؛ اصلی در یک دستگاهِ ریاضی/منطقی که قابل اثبات از روی سایر اصول نیست؛ حذفش مجموعهٔ نتایج را تغییر می‌دهد.

اسم (noun)

📌 در مجموعه‌ای از اصول موضوعه، اصولی که با استفاده از اصول دیگر آن مجموعه قابل اثبات نباشد.

جملات نمونه از منابع مختلف جمع آوری شده است، اگر صحیح نیست یا توهین آمیز است، لطفا گزارش دهید.

💡 Discussions of an independent axiom highlight limits of derivation and the creativity of alternate models.

بحث‌های مربوط به یک اصل مستقل، محدودیت‌های استنتاج و خلاقیت مدل‌های جایگزین را برجسته می‌کند.

💡 Proving a statement is an independent axiom means neither it nor its negation contradicts the remaining system.

اثبات اینکه یک گزاره، یک اصل موضوعه مستقل است، به این معنی است که نه خود گزاره و نه نفی آن، نه با سیستم باقی‌مانده در تضاد نیستند.

💡 Mathematicians showed the parallel postulate is an independent axiom by constructing consistent geometries where it fails.

ریاضیدانان با ساختن هندسه‌های سازگار در مواردی که فرضیه توازی با شکست مواجه می‌شود، نشان دادند که این فرضیه یک اصل مستقل است.