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