در حال آمادهسازی واژه...
در حال آمادهسازی واژه...
یک گزاره ریاضی یا منطقی که بر اساس اصول پایه یا گزارههای قبلی قابل اثبات است.
A mathematical or logical statement that can be proven based on axioms or previously established statements.
«قضیه فیثاغورس رابطه بین اضلاع مثلث قائمالزاویه را توضیح میدهد.»
“Pythagoras' theorem relates the sides of a right triangle.”
«پس از چند مرحله استنتاج، قضیه را اثبات کردیم.»
“We proved the theorem after several steps of deduction.”
رسمی/ریاضی. در منطق و ریاضی نیز کاربرد وسیعتری دارد.
Formal/mathematical. Similar meaning but used more broadly in logic and mathematics contexts.