Quote by Gödel, Kurt
"The laws of logic are not inventions but discoveries about the structure of possible worlds."
More from Gödel, Kurt
"I am confident that there is a complete (finite) system of axioms sufficient to prove all mathematical truths and no falsehoods."
"The more I think about language, the more it amazes me that people ever understand each other."
"A mathematician prefers to avoid even a minor error."
"Either mathematics is too big for the human mind or the human mind is more than a machine."