@AmirHosein سلام, آقای دکتر بابتِ موضوع ترجمۀ واژه حق باشماست, من فقط میدانستم axiomها مواردی هستند که قابل اثبات نیستند اما ترجمۀ فارسی آنرا نمیدانستم
بگذارید با همین مصداقِ شما پیش برویم, من نمیگویم که رده ای دیگر از حیوانات در ذهن بسازم و نامِ آن را گربه سانان بگذارم, من میگویم ارتباطِ بینِ اسم گربه سالان و حیواناتی مثل شیر و ببر و پلنگ چیست؟ من نمیخوام تصرفی در تعریفِ یک جمله ای داشته باشم, میخواهم ارتباطِ بینِ شروطِ آن( مثلا اینکه بینِ متغیر و عدد حقیقی باید ضرب باشد نه جمع و تفریق, یا اینکه توانِ متغیر یک عدد صحیح نامنفی باید باشد, میخواهم بدانم چرا اینطور گفته اند و اگر اینطور نبود آیا در قسمت های دیگر ریاضی( مثلا تابع ... نمیدانم مثال میزنم, مشکلی پیش می آید) مختصر اینکه این شروط باید دارای دلیل باشند