Alt text: "Rating fundamental axioms of mathematics by funniness is much more productive."

source