Аксиома (көне грекше: ἀξίωμα — лайықты қабылданған қағида) — нанымдылығы ақиқат (шындық) болғандықтан логикалық дәлелдеусіз алынатын қағида; теорияның ақиқат (шындық) ең бастапқы қағидасы.
Теорема – дәлелдеуді қажет ететін тұжырымдама.
Теоремалардың кері теоремасы болады. Бірақ, барлық теоремалардың кері теоремалары бола бермейді.
Анықтама - жаңа ұғымдардың мағынасын бұрыннан белгілі ұғымдар арқылы түсіндіретін сөйлемді анықтама деп атаймыз.
Мысалы, төртбұрышты анықтау үшін нүкте, кесінді секілді бұрыннан белгілі ұғымдарды пайдаланамыз. Себебі төртбұрыш нүкте мен кесінділерден құралады.
