Quote by Gödel, Kurt
"I am confident that there is a complete (finite) system of axioms sufficient to prove all mathematical truths and no falsehoods."
"I am confident that there is a complete (finite) system of axioms sufficient to prove all mathematical truths and no falsehoods."