اصل خوش‌ترتیبی: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز ربات:حذف الگوی تداخل رفع شده |
جز ربات: تصحیح پیوند به پروژه‌های خواهر و تبدیل کردن پیوندها به خنثی در برابر پروتکل |
||
خط ۴:
بنا به اینکه اعداد طبیعی را در چه دستگاهی تعریف میکنیم,این ویژگی(خوش ترتیب بودن)اعداد طبیعی ممکن است یک "اصل" ویا یک "قضیه" باشد.برای مثال:
در "دستگاه پـئانو" [[
{{ریاضی-خرد}}
| |||