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