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.