Исчисление высказываний. Формальная аксиоматическая теория - презентация онлайн Аксиоматическое определение линейного пространства примеры