Hacker News new | ask | show | jobs
by kubanczyk 1789 days ago
In other words, proofs cannot exist without axioms.

"The Simple Truth" addresses this from a different angle: https://www.lesswrong.com/posts/X3HpE8tMXz4m4w6Rz/the-simple...