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