News for hackers. Stuff that matters.

A comment on How has mathematics gotten so abstract?. Parent comment

Re:How has mathematics gotten so abstract? by nextaccountic on Wednesday October 01, 2025 @12:57AM (#45434361)
> Errr, I'm just assuming the axioms of ZFC. That's literally all I'm doing.

ZFC (and its underlying classical logic) is precisely the problem here though

[ Parent | on HN ]

There are no comments on this comment yet.