Дедуктивно аксиоматический метод Аксиоматическое определение вероятности примеры