، ، یا (به فرانسوی: Axiome) در ، ، و ، است که بدونِ و به شکل پیش‌فرض پذیرفته می‌شود و از رویِ آن سایر گزاره‌ها استخراج می‌شوند.
اصل یا بدیهیات آنچنان‌که در تعریف شده‌است، گزاره‌ای است (در ریاضیات اغلب به صورت نمادین ارائه می‌شود) که پرواضح یا بدیهی است و بدون اینکه بحث یا سؤالی در مورد آن مطرح باشد، مورد پذیرش است. بنابراین، اصل می‌تواند به عنوان مبنایی برای استدلال یا ادعا مورد استفاده قرار گیرد؛ آنچنان‌که در منطق یا ریاضیات مرسوم است. این واژه از واژهٔ یونانی (axíōma (ἀξίωμα گرفته شده‌است که مفهوم کاملاً درست، مناسب، واضح یا بدیهی را منتقل می‌کند.
 در منطق مدرن، اصل، پیش‌فرض یا نقطهٔ شروعی برای استدلال است. صحت بدیهی بودن یک اصل مفهومی یا به صورت نمادهای ریاضی، موضوعی است که در فلسفهٔ ریاضیات، بوسیلهٔ ریاضیدانان مورد بررسی قرار می‌گیرد.
اصل، در ریاضیات دارای دو مفهوم متمایز است: «اصول منطقی» و «اصول غیرمنطقی». اصول منطقی معمولاً به بیانیه‌هایی گفته می‌شود که از نظر سیستم منطق صحیح هستند (برای مثال (الف و ب) دلالت بر الف دارد)، در حالیکه اصول غیرمنطقی (مانند الف + ب = ب + الف) بیانگر مفاهیمی ذهنی در مورد دامنهٔ یک نظریهٔ ریاضی خاص، می‌باشند (مانند حساب).
 اصولِ موضوعه می‌توانند بدیهی نباشند، اما به‌هرحال نقطهٔ آغازِ کار است و به همین دلیل نمی‌توان آن‌ها را از هیچ گزارهٔ دیگری استخراج کرد. گزاره‌ای که از یک یا چند اصلِ دیگر استنتاج شود (theorem) نام دارد.
 اصولِ موضوعهٔ نسبیتِ خاص، معمولاً به عنوانِ مثالِ اصلِ غیرِ بدیهی آورده می‌شود. در سنتِ ایرانی معمولاً اصولِ موضوعه را از اصولِ متعارفه -که بدیهی به نظر می‌آیند و ادعا می‌شود هرکس آن‌ها را می‌پذیرد- جدا می‌کنند. اگر بخواهیم این کاربرد را در انگلیسی داشته باشیم باید برایِ اصولِ موضوعه و متعارفه به ترتیب postulate و axiom را به کار ببریم.
 معمولاً هنگامی که نظریه‌ای (معمولاً در یا ریاضیات) داریم اصلِ موضوع‌بندیِ آن، بسیار لذت‌بخش و زیبا خواهد بود. این کار نشان می‌دهد که تمامِ گزاره‌هایِ آن نظریه را می‌توان با پذیرفتنِ تعدادِ بسیار اندکی "اصلِ موضوع" به دست آورد.
 اصل‌ها و قضیه‌ها را برای نخستین بار، دانشمندان وارد دانش کردند. (سده سوم پیش از میلاد) در کتاب‌های خود، بارها از «اصل» و «قضیه» استفاده کرده‌است. تا سرانجام (سده سوم پیش از میلاد) در کتابِ خود در سیزده کتاب، اصل‌ها و قضیه‌های هندسی را منظم کرده‌است.
 شماری از اصل‌ها را، اقلیدس (postulate ~ خواست) نامیده است. برای نمونه، نخستین پوستلا در اصولِ اقلیدس، به این ترتیب تنظیم شده‌است: «کوتاه‌ترین فاصله بین دو نقطه خط راستی است که آنها را به هم وصل می‌کند.»
 تمام قضایای (برای مثال ) از پنج اصل زیر استخراج می‌شوند:
 
 
 
 
 برایِ بیانِ این اصولِ موضوعه، به مفاهیمی مانندِ و نیاز داریم. همان‌طور که باید چند گزاره را بدونِ اثبات بپذیریم تا بقیهٔ گزاره‌ها استخراج شوند، لازم است چند مفهوم را نیز بدونِ تعریف بپذیریم. به این مفاهیم «تعریف‌نشده‌ها» می‌گویند. همان‌طور که دیده می‌شود اصولِ ، به جز اصلِ پنجم، بسیار ساده و بدیهی به نظر می‌نمایند.
 قانون، گزاره‌ای منطقی است که در مشخصی، "بدیهی" فرض شده یا درستی آن اثبات شده‌است و مبنای دیگر قضایای آن خواهد شد.
 مثلاً می‌گوید اجسام به وضعیت حرکت یا سکون خود ادامه می‌دهند مگر اینکه به آن‌ها نیرویی وارد شود. این بیانِ قانون است در نیوتون و مثلاً در دستگاه فلسفی ارسطو گزاره‌ای نادرست است. پس قوانین فیزیک وابستگی شدید به تعریف شده دارند.
 در هندسه نیز قوانین با در است.
{"title": "اصل موضوع (منطق)", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%A7%D8%B5%D9%84_%D9%85%D9%88%D8%B6%D9%88%D8%B9_(%D9%85%D9%86%D8%B7%D9%82)&oldid=34476628", "language": "fa"}