logoalt Hacker News

Saigonautica01/22/20250 repliesview on HN

It's not my place to critique your beliefs -- you may find Gödel's incompleteness theorem interesting to think about though. It was the end of the attempts to unify mathematics under a common set of axioms, as far as I know. I find it quite fascinating, personally.

There exist an infinite number of unprovable-but-true statements for any given set of axioms of sufficient complexity (e.g. arithmetic). I find it conceivable that having "more than one mathematics" would be quite practical!