Constructivism in Mathematics, Vol 2