Comment

Comment by simonh

That's not quite correct. Systems of mathematics cannot be both complete and consistent, but incomplete systems of mathematics can be consistent. For example Presburger arithmetic is provably consistent. There are limits to consistency for sure, but that doesn't mean there's no such thing as mathematical consistency.
parent simonh 3 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton