ParentFull threadphs·As a follow-up, what is your position on intuitionist/constructivist logic?View on HN