Text this: El intuicionismo matemático: una filosofía constructivista