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