Теоремы и их следствия: аксиомы математики на практике