Describir: El intuicionismo matemático: una filosofía constructivista