аксиоматизировавший