Hacker News new | ask | show | jobs
by dodobirdlord 2377 days ago
Obviously, the original statement has been proved to be independent from ZFC.