Tərif

Tərif — Riyazi anlayışın tərif – onun məzmunu (mənasını) izah edən təklif.

Tərif müxtəlif üsullarla verilə bilər:

1) Təyin olunan anlayışın məzmununun əsas anlayışların və tərifləri əvvəllər verilmiş anlayışların köməyi ilə izahıə;

2) Genetik və ya konstruktiv tərif burada təyin olunan anlayışın (obyektin) əmələ gəlmə qaydası göstərilir.

3) Anlayışın aksiomatik təyin olunması. Bu halda anlayış ilk anlayış kimi daxil edilir və anlayışlar arasında əlaqələr aksiomlarda ifadə olunur. Məsələn, natural ədəd anlayışı Peano aksiomlarında verilir, məsafə anlayışı metrikanın aksiomlarında verilir və s.

Riyaziyyatda qəbul edilmiş aksiomatikaya görə eyni bir anlayışa müxtəlif (lakin eynigüclü) təriflər verilə bilər. Bir aksiomatikada müəyyən anlayışlara tərif verilə bilər, başqa aksiomatikada həmin anlayışlar tərifsiz qəbul edilə bilər.