Zaslat SMS: Da interpretação Bhk à teoria intuicionista dos tipos: a construção mental como conceito primitivo fundamental