Погружение в аксиоматические теории: основы математики и философии