Mathematics is partially logic. Logic alone can not construct all of mathematics, so far. But constructive mathematics, I get the sensation that HN computer-sci

Mathematics is partially logic. Logic alone can not construct all of mathematics, so far. But constructive mathematics, I get the sensation that HN computer-science-logician-mathematicians have a tendency towards disapproval of such a thing. Honestly I wonder sometimes... The plot is already quite thick, in my extremely humble opinion.