[kubanczyk]

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...