It won’t. I have studied it enough to realise that it doesn’t give me anything new. I have learned a lot more studying (Martin Loff) Type theory. Which is also a solid foundation of math by the way.