I am reading through Errett Bishops "Foundations of Constructive Analysis" because I got interested in constructive as well as intuitionistic mathematics, and have a confusion in regards to ...