اصل موضوع: تفاوت میان نسخه‌ها

'''اصل''' یا '''بُنداشت''' یا '''بُن قانون'''،<ref>گزینهٔ «بُنداشت» گرچه زیبا و یک هجا کوتاه‌تر از «بُن قانون» (همچنین اصل موضوع) اما دارای امکان مشکل است، زیرا در معنی «ثروت» در فارسی به آن واژه نیاز هست (برگرفته از فارسی دری «بُندار» = «ثروتمند، مالدار»)، نیز در کاربرد فعل «بُنداشتن» = to axiomatise کاربردپذیر نیست (البته به‌شیوهٔ «بنداشت بخشیدن» می‌توان بکار برد)، اما «بن قانونیدن» = to axiomatise کاربردپذیر است: «اکنون که ما داده‌های این دانش را سراسر بررسی کرده‌ایم آن‌را می‌بُن‌قانونیم.» برتری دیگر «بُن قانون» آن است که در کنار واژهٔ «بُنیادقانون» = «قانون اساسی» یک «گروه‌واژه‌های نزدیک‌معنیِ هم‌ساختار» را برمی‌نهد («قانون اساسی» = «آن چهارچوب قانونی که آغازگاه قانون‌های دیگر کشور است و خود از قانون دیگری مشتق نمی‌شود!» درست همان کارکردی که «بُن قانون» = axiom در زمینهٔ دانش دارد). دریافت کاربران در آینده میان این دو گزینهٔ کارآمد «بنداشت» و «بن قانون» داوری می‌باید کرد. به هر روی، هر دو واژه بر واژهٔ عربی «اصل»، که در زبان فارسی بسیار آشفته و در کاربردهای جدا و بی‌پیوست به هم، بکار می‌رود، برتری دارند.</ref> در [[فلسفه]]، [[ریاضیات]]، [[منطق]] و [[فیزیک]]، [[گزاره]]‌ای است که بدونِ [[اثبات]] و به شکل پیش‌فرض پذیرفته می‌شود و از رویِ آن سایر گزاره‌ها استخراج می‌شوند.

{{سخ}}در منطق مدرن، اصل، پیش‌فرض یا نقطهٔ شروعی برای استدلال است. صحت بدیهی بودن یک اصل مفهومی یا به صورت نمادهای ریاضی، موضوعی است که در فلسفهٔ ریاضیات، بوسیلهٔ ریاضیدانان مورد بررسی قرار می‌گیرد.

اصل، در ریاضیات دارای دو مفهوم متمایز است: «اصول منطقی» و «اصول غیرمنطقی». اصول منطقی معمولاً به بیانیه‌هایی گفته می‌شود که از نظر سیستم منطق صحیح هستند (برای مثال (الف و ب) دلالت بر الف دارد)، در حالیکه اصول غیرمنطقی (مانند الف + ب = ب + الف) بیانگر مفاهیمی ذهنی در مورد دامنهٔ یک نظریهٔ ریاضی خاص، می‌باشند (مانند حساب).

 

== تاریخچه ==

 

 

== اصول هندسه اقلیدسی ==

 

== قانون فلسفی ==

 

 

در هندسه نیز قوانین [[هندسه نااقلیدسی]] با [[هندسه اقلیدسی]] در [[تضاد]] است.