Intuitionistic mathematics for physics(math.andrej.com)

http://math.andrej.com/2008/08/13/intuitionistic-mathematics-for-physics/