далилдөөнүн тактыгы (дааналыгы) Кыргызско-русский словарь математических терминов (1996) строгость доказательства